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 28

Record: found
Abstract: not found
Book: not found

A Calculus of Communicating Systems

Robin Milner (1980)

0 comments Cited 260 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

A calculus of mobile processes, I

Robin Milner, Joachim Parrow, David Michael Walker (1992)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Coherence for compact closed categories

G.M. Kelly, M.L. Laplaza (1980)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1996

Publication date (Online): June 2 2005

Pages: 1-17

DOI: 10.1007/3-540-61604-7_44

SO-VID: 15f39ad4-3a2a-4edd-80b0-b969638b56a6

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 18

A categorical model for the geometry of interaction
Authors: Esfandiar Haghverdi, Philip Scott
A Structural Approach to Reversible Computation
Authors: Samson Abramsky
On the Functor ℓ2
Authors: Chris Heunen

See all cited by

Retracing some paths in process algebra

Read this book at

Related collections

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

Most cited references 28

A Calculus of Communicating Systems

A calculus of mobile processes, I

Coherence for compact closed categories

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,766

Cited by 18