Robin Milner, Joachim Parrow, David Walker

Information and Computation 100(1), pages 41-77,  1992

This is the second of two papers in which we present the π-calculus, a calculus of mobile processes. We provide a detailed presentation of some of the theory of the calculus developed to date, and in particular we establish most of the results stated in the companion paper.

 @article{mobilecalculusII-ic100,
Author = {Milner, Robin and Parrow, Joachim and Walker, David},
Doi = {10.1016/0890-5401(92)90009-5},
Issn = {0890-5401},
Journal = {Information and Computation},
Number = 1,
Pages = {41--77},
Title = {A Calculus of Mobile Processes, II},
Url = {http://www.sciencedirect.com/science/article/pii/0890540192900095},
Volume = 100,
Year = 1992,
Abstract = {Abstract}}
 
Tags:

Publication

— authors

Robin Milner, Joachim Parrow, David Walker

— status

published

— sort

article in journal

Venue

— journal

Information and Computation

— volume

100

— issue

1

— pages

41-77

— publication date

1992

URLs

original page

Identifiers

— DOI

10.1016/0890-5401(92)90009-5

— print ISSN

0890-5401

BibTeX

— BibTeX ID
mobilecalculusII-ic100
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY