Bisimulations in the join-calculus
Theoretical Computer Science
Language-based performance prediction for distributed and mobile systems
Information and Computation
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Theoretical Computer Science
Comparing the expressive power of the synchronous and asynchronous $pi$-calculi
Mathematical Structures in Computer Science
Strong normalisation in the π-calculus
Information and Computation
Concurrent and Located Synchronizations in π-Calculus
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
A Category of Explicit Fusions
Concurrency, Graphs and Models
Probabilistic and nondeterministic aspects of anonymity
Theoretical Computer Science
Sequentiality and the π-calculus
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
A distribution law for CCS and a new congruence result for the π-calculus
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
On bisimilarity and substitution in presence of replication
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Concurrency can't be observed, asynchronously
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
A Presheaf Environment for the Explicit Fusion Calculus
Journal of Automated Reasoning
Hi-index | 5.23 |