Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Preeti Marwaha
Formalizing BPEL-TC Through Π-Calculus
International journal of Web & Semantic Technology
Related publications
Probabilistic Asynchronous Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Implementing the Π-Calculus in Java.
Journal of Object Technology
Software
Resource Usage Analysis for the Π-Calculus
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Type Inference for a Distributed Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formalising the Π-Calculus Using Nominal Logic
A Denotational Semantics for the Π-Calculus
Region Analysis and a Π-Calculus With Groups
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Precise Analysis of Π-Calculus in Cubic Time
On the Expressiveness of Π-Calculus for Encoding Mobile Ambients
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
