Concurrency Theory [electronic resource] : Calculi and Automata for Modelling Untimed and Timed Concurrent Systems / by Howard Bowman, Rodolfo Gomez.
By: Bowman, Howard.
Contributor(s): Gomez, Rodolfo | SpringerLink (Online service).
Material type:
BookPublisher: London : Springer London, 2006Description: digital.ISBN: 9781846283369.Subject(s): Computer science | Software engineering | Logic design | Computer Science | Software Engineering | Logics and Meanings of ProgramsDDC classification: 005.1 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.