Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Juergen Dingel
Theory and Implementation of a Real-Time Extension to the Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Precise Analysis of Π-Calculus in Cubic Time
A Denotational Semantics for the Π-Calculus
Probabilistic Asynchronous Π-Calculus
Lecture Notes 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
Implementing the Π-Calculus in Java.
Journal of Object Technology
Software
Type Inference for a Distributed Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pay-Burst-Only-Once in Real-Time Calculus
Resource Usage Analysis for the Π-Calculus
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Design and Implementation of a Real-Time Positron Imager
