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