The π-calculus a Theory of Mobile Processes

The π-calculus a Theory of Mobile ProcessesShort Description
calculus, a theory of mobile systems, and shows how to use it to express systems … -calculus. Adistinctive feature of the calculus is itsrich theory …

Website: assets.cambridge.org | Filesize: 591kb

Content
The ?-calculus: a Theory of Mobile Processes
Davide Sangiorgi
INRIA Sophia Antipolis
David Walker
University of Oxford
. Cambridge University Press www.cambridge.org
Cambridge University Press
0521781779 - The ?-Calculus: A Theory of Mobile Processes
Davide Sangiorgi and David Walker
Frontmatter
More information
…

Get the file Download here

AddThis Social Bookmark Button
Related Books:
  • Review of The π-calculus A Theory of Mobile Processes
  • A full formalisation of -calculus theory in the calculus of …
  • Multivariable Calculus, Applications and Theory
  • A MECHANIZED THEORY OF THE -CALCULUS IN HOL
  • Calculus, Applications and Theory
  • Calculus, Applications and Theory
  • IN -CALCULUS AND TYPE THEORY
  • Non-commutative differentia1 calculus and lattice gauge theory

    • Filed Under Mathematics, Sciences 

    Related Searches: , , , ,



    Comments

    Leave a Reply