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 12

Record: found
Abstract: not found
Article: not found

Automated analysis of mutual exclusion algorithms using CCS

D. R.; WALKER, D. Roland Walker (1989)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Contextual nets

Ugo Montanari, Francesca Rossi (1995)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Weak and strong fairness in CCS

Gerardo Costa, Colin Stirling (1987)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2009

Pages: 193-204

DOI: 10.1007/978-3-540-95891-8_20

SO-VID: ad4061d9-3595-4b0e-9ef0-a82eaf16ff0e

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

See all cited by

Time and Fairness in a Process Algebra with Non-blocking Reading

Read this book at

Related collections

Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory

Most cited references 12

Automated analysis of mutual exclusion algorithms using CCS

Contextual nets

Weak and strong fairness in CCS

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,046

Cited by 2