On the verification of open distributed systems
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Toward Parametric Verification of Open Distributed Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Verification of CCS Processes
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A Fully Abstract Domain Model for the p-Calculus
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Proof systems for π-calculus logics
Logic for concurrency and synchronisation
A filter model for mobile processes
Mathematical Structures in Computer Science
Towards a Model Logic for "-Calculus
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
A Modal Logic for π-Calculus and Model Checking Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
A unified theory of program logics: an approach based on the π-calculus
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Hi-index | 0.00 |