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 13

Record: found
Abstract: not found
Article: not found

The existence of refinement mappings

Martín Abadi, Leslie Lamport (1991)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Distributed cooperation with action systems

F. Kurki-Suonio, R. J. R. Back (1988)

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

Bookmark

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

Refinement calculus, part II: Parallel and reactive programs

R. J. R. Back (1990)

0 comments Cited 14 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1994

Pages: 367-384

DOI: 10.1007/978-3-540-48654-1_28

SO-VID: ed8b3126-e99a-4109-807a-4382f4b90934

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 7

See all cited by

Trace Refinement of Action Systems

Read this book at

Related collections

Socioecological systems

Most cited references 13

The existence of refinement mappings

Distributed cooperation with action systems

Refinement calculus, part II: Parallel and reactive programs

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,977

Cited by 7