Ten Years of Concurrency Semantics

File Size : 42,42 MB
Total View : 6081 Views
DOWNLOAD

This collection of reprints describes a unified treatment of semantics, covering a wide range of notions in parallel languages. Included are several foundationa

Handbook of Process Algebra

File Size : 7,7 MB
Total View : 3783 Views
DOWNLOAD

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It

Mathematical Foundations of Programming Semantics

File Size : 41,41 MB
Total View : 4012 Views
DOWNLOAD

This volume is the proceedings of the Ninth International Conference on the Mathematical Foundations of Programming Semantics, held in New Orleans in April 1993

Concurrent Urbanities

File Size : 1,1 MB
Total View : 2154 Views
DOWNLOAD

Design has been employed as an agent of social and political change, and a catalyst for spatial and urban transformations in cities across the world. Concurrent

Beauty Is Our Business

File Size : 68,68 MB
Total View : 8206 Views
DOWNLOAD

More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be i