Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hema Banati
Formalizing BPEL-TC Through Π-Calculus
International journal of Web & Semantic Technology
Assessing User Trust to Improve Web Usability
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
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
