Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Allaoua Chaoui
Mapping Mobile Statechart Diagrams to the Π-Calculus Using Graph Transformation
International Journal of Intelligent Information Technologies
Decision Sciences
Information Systems
Formal Modeling and Analysis of Object Oriented Systems Using Triple Graph Grammars
International Journal of Embedded and Real-Time Communication Systems
Computer Science
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
