Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Shingo Itabashi
A Protocol for Multi-Threaded Processes With Choice in Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Pi+-Calculus: A Calculus for Concurrent Processes With Constraints
CLEI Electronic Journal
Type Inference for a Distributed Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Denotational Semantics for the Π-Calculus
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
Resource Usage Analysis for the Π-Calculus
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Implementing the Π-Calculus in Java.
Journal of Object Technology
Software
Behavioral and Spatial Observations in a Logic for the Π-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Information Declassification for Multi-Threaded Programs
Applied Mathematics and Information Sciences
Numerical Analysis
Applied Mathematics
Analysis
Computer Science Applications
Mathematics
Computational Theory
