On the expressiveness of π-calculus for encoding mobile ambients.

Saved in:

Bibliographic Details
Title:	On the expressiveness of π-calculus for encoding mobile ambients.
Authors:	BRODO, LINDA¹
Source:	Mathematical Structures in Computer Science. Feb2018, Vol. 28 Issue 2, p202-240. 39p.
Database:	Mathematics Source

Description
ISSN:	09601295
DOI:	10.1017/S0960129516000256