Mobile ambients
Year: 2001
Type: article
Source: Formal Methods
Authors: Luca Cardelli, Andrew D. Gordon
Institution: Microsoft Research (United Kingdom)
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2914559425