Normal view
MARC view
Gomez, Rodolfo (Personal Name)
Machine generated authority record.
Work cat.: (OSt): Bowman, Howard 336, Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems, 2006