Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Aissam Belghiat
Mapping Mobile Statechart Diagrams to the Π-Calculus Using Graph Transformation
International Journal of Intelligent Information Technologies
Decision Sciences
Information Systems
Related publications
On the Expressiveness of Π-Calculus for Encoding Mobile Ambients
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
Formalising the Π-Calculus Using Nominal Logic
Flipping Calculus Using Mobile Technology
US-China Education Review A
Probabilistic Asynchronous Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Implementing the Π-Calculus in Java.
Journal of Object Technology
Software
Calculus Application to Topographic Mapping
Undergraduate Journal of Mathematical Modeling: One + Two
XMI-based Transformation of UML Interaction Diagrams to Activity Diagrams
Resource Usage Analysis for the Π-Calculus
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Denotational Semantics for the Π-Calculus
