Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jesper Bengtson
Formalising the Π-Calculus Using Nominal Logic
Related publications
Implementing Spi Calculus Using Nominal Techniques
Behavioral and Spatial Observations in a Logic for the Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formalising Design Patterns in Predicate Logic
Probabilistic Asynchronous Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Implementing the Π-Calculus in Java.
Journal of Object Technology
Software
Mapping Mobile Statechart Diagrams to the Π-Calculus Using Graph Transformation
International Journal of Intelligent Information Technologies
Decision Sciences
Information Systems
Resource Usage Analysis for the Π-Calculus
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
A Denotational Semantics for the Π-Calculus
Formalizing BPEL-TC Through Π-Calculus
International journal of Web & Semantic Technology