Robin Milner, Joachim Parrow, David Walker

Information and Computation 100(1), pp. 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:

Pubblicazione

— autori/autrici

Robin Milner, Joachim Parrow, David Walker

— stato

pubblicato

— tipo

articolo su rivista

Sede di pubblicazione

— rivista

Information and Computation

— volume

100

— numero

1

— pagine

41-77

— data di pubblicazione

1992

URL

pagina originale

Identificatori

— 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