Concurrency Theory Calculi and Automata for Modelling Untimed and Timed Concurrent Systems - Bowman, Howard; Gomez, Rodolfo; SpringerLink (Online service) (London : Springer-Verlag London Limited, 2006)
Keywords: Parallel processing (Electronic computers) -- Mathematical models; Machine theory; LOTOS (Computer program language); Computer Science; Software Engineering; Logics and Meanings of Programs