WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/464009757

Communicating and mobile systems : the [pi (lower case)] -Calculus

Open All Close All

type

about

http://schema.org/about

alternateName

http://schema.org/alternateName

  • "Communicating and mobile systems"
  • "Communicating and mobile systems: the greek-p-calculus"

author

contributor

creator

description

http://schema.org/description

  • "In this book Robin Milner introduces a new way of modelling communication. He treats computers and their programs as themselves built from communicating parts, rather than adding communication as an extra level of activity. But the aim of the book is to develop a theory, the [pi]-calculus, in which these things can be treated rigorously. The [pi]-calculus differs from other models of communicating behaviour mainly in its treatment of mobility. The movement of a piece of data inside a computer program is treated exactly the same as the transfer of a message - or indeed an entire computer program - across the internet. One can also describe networks which reconfigure themselves."

name

http://schema.org/name

  • "Communicating and mobile systems : the @~P -calculus"
  • "Communicating and mobile systems : the [pi] calculus"
  • "Communicating and mobile systems: the [pi]-calculus"
  • "Communicating and mobile systems the [pi]-calculus"
  • "Communicating and mobile systems : the [Pi]-Calculus"
  • "Communicating and mobile systems : the [pi (lower case)] -Calculus"@en
  • "Communicating and mobile systems : the [symbol for pi]-calculus"
  • "Communicating and mobile systems : the [rho]-calculus"
  • "Communicating and mobile systems : the pi-calculus"
  • "Communicating and mobile systems : the Pi-Calculus"@en
  • "Communicating and mobile systems: the pi-calculus"
  • "Communicating and mobile systems : the [pi]-calculus"
  • "Communicating and mobile systems : the P-calculus"
  • "Communicating and mobile systems : the p-calculus"

workExample