DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Ambient calculus
Ambient calculus
Mobile Processes: a Commented Bibliography
A Survey of Reasoning Methods for Concurrent Systems
Concurrent Programming CLASS NOTES
Abstractions for Mobile Computation.Fm
Review of the Π-Calculus: a Theory of Mobile Processes∗
Concurrency Theory: a Historical Perspective on Coinduction and Process Calculi
Arxiv:Math/0703713V3 [Math.CT] 14 Nov 2007 6
This Thesis Has Been Submitted in Fulfilment of the Requirements for a Postgraduate Degree (E.G
Specifying and Implementing Secure Mobile Applications in the Channel Ambient System
What Is a Good Process Semantics?
A General Overview of Formal Languages for Individual-Based
4.2.3 Advantages and Limitations of the Π Calculus
Parallelism in Curricula – an International Survey
ICE 2021 Pre-Proceedings
API-S CALCULUS: FORMAL MODELING for SECURE MOBILE INTELLIGENT AGENT SYSTEMS Jean Francois Gourd University of Southern Mississippi
Global/Local Subtyping for a Distributed -Calculus
An Asynchronous, Distributed Implementation of Mobile Ambients
Mobile Processes: a Commented Bibliography Silvano Dal Zilio
Top View
Stochastic Ambient Calculus