An intensionally fully-abstract sheaf model for pi
Following previous work on CCS, we propose a compositional model for the pi-calculus in
which processes are interpreted as sheaves on certain simple sites. We define an analogue …
which processes are interpreted as sheaves on certain simple sites. We define an analogue …
The name-passing calculus
Y Fu, H Zhu - arXiv preprint arXiv:1508.00093, 2015 - arxiv.org
Name-passing calculi are foundational models for mobile computing. Research into these
models has produced a wealth of results ranging from relative expressiveness to …
models has produced a wealth of results ranging from relative expressiveness to …
Observing success in the pi-calculus
D Sabel, M Schmidt-Schauß - 2nd International Workshop on …, 2015 - drops.dagstuhl.de
A contextual semantics-defined in terms of successful termination and may-and should-
convergence-is analyzed in the synchronous pi-calculus with replication and a constant …
convergence-is analyzed in the synchronous pi-calculus with replication and a constant …
The proof technique of unique solutions of contractions
D Sangiorgi - International Colloquium on Theoretical Aspects of …, 2015 - Springer
The Proof Technique of Unique Solutions of Contractions | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …