IEEE - Institute of Electrical and Electronics Engineers, Inc. - Typing and subtyping for mobile processes

Proceedings of 8th Annual IEEE Symposium on Logic in Computer Science

Author(s): Pierce, B. ; Sangiorgi, D.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Montreal, Que., Canada
Conference Date: 19 June 1993
Page(s): 376 - 385
ISBN (Paper): 0-8186-3140-6
DOI: 10.1109/LICS.1993.287570
Regular:

The pi -calculus is a process algebra that supports process mobility by focusing on the communication of channels. R. Milner's (1991) presentation of the pi -calculus includes a type system... View More

Advertisement