On the Expressiveness of Π-Calculus for Encoding Mobile Ambients

Mathematical Structures in Computer Science - United Kingdom
doi 10.1017/s0960129516000256
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Mapping Mobile Statechart Diagrams to the Π-Calculus Using Graph Transformation

International Journal of Intelligent Information Technologies
Decision SciencesInformation Systems
2016English

Subtyping and Typing Algorithms for Mobile Ambients

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Deriving Structural Labelled Transitions for Mobile Ambients

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Resource Usage Analysis for the Π-Calculus

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2006English

A Denotational Semantics for the Π-Calculus

2001English

Probabilistic Asynchronous Π-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Reactive Systems, Barbed Semantics, and the Mobile Ambients

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Implementing the Π-Calculus in Java.

Journal of Object Technology
Software
2005English

Type Inference for a Distributed Π-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy