Amanote Research
Register
Sign In
Precise Analysis of Π-Calculus in Cubic Time
doi 10.1007/1-4020-8141-3_26
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
L. Colussi
G. Filè
A. Griggio
Publisher
Kluwer Academic Publishers
Related search
Resource Usage Analysis for the Π-Calculus
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Region Analysis and a Π-Calculus With Groups
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Asynchronous Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Theory and Implementation of a Real-Time Extension to the Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Implementing the Π-Calculus in Java.
Journal of Object Technology
Software
Formalizing BPEL-TC Through Π-Calculus
International journal of Web & Semantic Technology
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
