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 17

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 237 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Functions as processes

Robin Milner (1992)

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

Bookmark

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

An object calculus for asynchronous communication

Kohei Honda, Mario Tokoro (1991)

0 comments Cited 52 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1993

Publication date (Online): May 27 2005

Pages: 158-172

DOI: 10.1007/3-540-57208-2_12

SO-VID: b2f7e7a2-ee12-42d7-baa1-2cc8fbaebd7c

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 10

Graph types for monadic mobile processes
Authors: Nobuko Yoshida
Retracing some paths in process algebra
Authors: Samson Abramsky
A generic type system for the Pi-calculus
Authors: Atsushi Igarashi, Naoki Kobayashi

See all cited by

A pi-calculus semantics for an object-based design notation

Read this book at

Related collections

Value-based Healthcare

Most cited references 17

A calculus of mobile processes, I

Functions as processes

An object calculus for asynchronous communication

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,672

Cited by 10