A Correct Abstract Machine for the Stochastic Pi-calculus
Year: 2004
Type: conference-abstract
Authors: Andrew Phillips, Luca Cardelli
Institutions: Imperial College London, Microsoft (United States)
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2152604899