Concurrency theory calculi and automata for modelling untimed and timed concurrent systems - Bowman, Howard; Gomez, Rodolfo (London Springer, 2006)
Keywords: LOTOS (Computer program language); Machine theory; Parallel processing (Electronic computers)--Mathematical models