There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 19

Record: found
Abstract: not found
Article: not found

A Theory of Communicating Sequential Processes

S. D. Brookes, C. Hoare, A. W. Roscoe (1984)

0 comments Cited 114 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Introduction to the ISO specification language LOTOS

Tommaso Bolognesi, Ed Brinksma (1987)

0 comments Cited 54 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

An improved failures model for communicating processes

S. D. Brookes, A. W. Roscoe (1985)

0 comments Cited 21 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1997

Publication date (Online): June 8 2005

Pages: 62-81

DOI: 10.1007/3-540-63533-5_4

SO-VID: 25c75cd6-862f-4759-89c4-97d8402ab4f2

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 7

The Semantics of Circus
Authors: Jim Woodcock, Ana Rosa Cavalcanti
How to Combine Z with a Process Algebra
Authors: Clemens Fischer
Using Coupled Simulations in Non-atomic Refinement
Authors: John Derrick, Heike Wehrheim

See all cited by

A semantic integration of object-Z and CSP for the specification of concurrent systems

Read this book at

Related collections

BIO Integration

Most cited references 19

A Theory of Communicating Sequential Processes

Introduction to the ISO specification language LOTOS

An improved failures model for communicating processes

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,184

Cited by 7