Discover open access scientific publications

Search, annotate, share and cite publications

Publications by LINDA BRODO

On the Expressiveness of Π-Calculus for Encoding Mobile Ambients

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2016English

Related publications

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

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

Privacy PolicyRefund Policy