1-16 of 16 Books

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
By Willem-Paul de Roever,Grzegorz Rozenberg,J. W. de Bakker,W.-P. de Roever

Temporal logic in specification
By Howard Barringer

Grundzüge der Nichtsequentiellen Programmierung
By Christian Maurer

Kooperation und Konkurrenz
By Ralf G. Herrtwich,Günter Hommel

Compositionality, concurrency, and partial correctness
By J. Zwiers

Programming languages and systems
By APLAS 2008 (2008 Bangalore, India)

CONCOUR9 9, concurrency theory
By J. C. M. Baeten,Sjouke Mauw

Coordination models and languages
By COORDINATION 2010 (2010 Amsterdam, Netherlands)

Current trends in concurrency
By J. W. De Bakker

Advanced lectures on software engineering
By Peter Müller

The origin of concurrent programming
By Per Brinch Hansen

Theoretical Aspects of Computing - ICTAC 2009
By Martin Leucker

Coordination models and languages
By COORDINATION 2009 (2009 Lisbon, Portugal)

Concurrency and hardware design
By Grzegorz Rozenberg