Amanote Research
Register
Sign In
Formalising the Π-Calculus Using Nominal Logic
doi 10.1007/978-3-540-71389-0_6
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Jesper Bengtson
Joachim Parrow
Publisher
Springer Berlin Heidelberg
Related search
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
