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