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 8

Record: found
Abstract: not found
Article: not found

The specification statement

Carroll Morgan (1988)

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

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Decentralization of process nets with centralized control

R. J. R. Back, R. Kurki-Suonio (1983)

0 comments Cited 34 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Specification-oriented semantics for Communicating Processes

E. -R. Olderog, C. Hoare (1986)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1990

Pages: 319-326

DOI: 10.1007/978-1-4612-4476-9_37

SO-VID: 0b9079c8-8009-43bc-9418-9023e790d57c

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 11

The Semantics of Circus
Authors: Jim Woodcock, Ana Rosa Cavalcanti
An approach to the design of distributed systems with B AMN
Authors: Michael Butler
Using a Process Algebra to control B OPERATIONS
Authors: Helen Treharne, Steve Schneider

See all cited by

Of wp and CSP

Read this book at

Related collections

Renewable Energy Super Collection

Most cited references 8

The specification statement

Decentralization of process nets with centralized control

Specification-oriented semantics for Communicating Processes

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 571

Cited by 11