Add to ORKG(eng) This document collects some important results about the theory of Milner's pi-calculus and related formalisms. We present the syntax and semantics of a monadic calculus, and discuss type systems and the most commonly used notions of behavioural equivalences. Pi-calculus dialects are also briefly introduced, as well as several encodings of the lambda-calculus
A general approach is proposed that transforms, in the framework of pi calculus, objects to methods ...
We introduce an asynchronous version of Milner's -calculus, based on the idea that the messages are ...
Two semantics for a parallel object-oriented programming language are presented. One is a two-level ...
This document collects some important results about the theory of Milner's pi-calculus and related f...
International audienceThe relations between the pi-calculus and logic have been less extensively stu...
This paper is about the encoding of p pi, the polyadic pi-calculus, in m pi, the monadic pi-calculus...
Milner's {$\pi$}-calculus is a very influential process algebra in which communication channels are ...
The pi-calculus is a process algebra that supports process mobility by focusing on the communication...
This report was published in F. L. Hamer, W. Brauer and H. Schwichtenberg, editors, Logic and Algebr...
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and fo...
We develop a semantic theory based on testing for a minor variant of the ß-calculus. The resulting ...
We formalise the pi-calculus using the nominal datatype package, based on ideas from the nominal log...
We study Milner's encoding of the call-by-value lambda-calculus into the pi-calculus. We show that, ...
The pi-calculus is a process algebra where agents interact by sending communication links to each ot...
We formalise the pi-calculus using the nominal datatype package, based onideas from the nominal logi...
A general approach is proposed that transforms, in the framework of pi calculus, objects to methods ...
We introduce an asynchronous version of Milner's -calculus, based on the idea that the messages are ...
Two semantics for a parallel object-oriented programming language are presented. One is a two-level ...
This document collects some important results about the theory of Milner's pi-calculus and related f...
International audienceThe relations between the pi-calculus and logic have been less extensively stu...
This paper is about the encoding of p pi, the polyadic pi-calculus, in m pi, the monadic pi-calculus...
Milner's {$\pi$}-calculus is a very influential process algebra in which communication channels are ...
The pi-calculus is a process algebra that supports process mobility by focusing on the communication...
This report was published in F. L. Hamer, W. Brauer and H. Schwichtenberg, editors, Logic and Algebr...
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and fo...
We develop a semantic theory based on testing for a minor variant of the ß-calculus. The resulting ...
We formalise the pi-calculus using the nominal datatype package, based on ideas from the nominal log...
We study Milner's encoding of the call-by-value lambda-calculus into the pi-calculus. We show that, ...
The pi-calculus is a process algebra where agents interact by sending communication links to each ot...
We formalise the pi-calculus using the nominal datatype package, based onideas from the nominal logi...
A general approach is proposed that transforms, in the framework of pi calculus, objects to methods ...
We introduce an asynchronous version of Milner's -calculus, based on the idea that the messages are ...
Two semantics for a parallel object-oriented programming language are presented. One is a two-level ...