The π-calculus in direct style
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstractions for mobile computations
Secure Internet programming
The π-Calculus in Direct Style
Higher-Order and Symbolic Computation
Mobile Processes: A Commented Bibliography
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Mobile processes: a commented bibliography
Modeling and verification of parallel processes
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
A semantic theory for value-passing processes based on the late approach
Information and Computation
Proof systems for π-calculus logics
Logic for concurrency and synchronisation
Structured coalgebras and minimal HD-automata for the π-calculus
Theoretical Computer Science - Mathematical foundations of computer science 2000
A Simple Calculus for Proteins and Cells
Electronic Notes in Theoretical Computer Science (ENTCS)
Expressiveness of Process Algebras
Electronic Notes in Theoretical Computer Science (ENTCS)
A simple calculus for proteins and cells
Theoretical Computer Science
ESORICS '08 Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security
A concurrent ML library in concurrent Haskell
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Expressing first-order π-calculus in higher-order calculus of communicating systems
Journal of Computer Science and Technology
Formalizing higher-order mobile embedded business processes with binding bigraphs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
A testing theory for a higher-order cryptographic language
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
A fully abstract encoding of the π-calculus with data terms
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
History-dependent automata: an introduction
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
A component model for the ABS language
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
First-order reasoning for higher-order concurrency
Computer Languages, Systems and Structures
Symbolic bisimulation for a higher-order distributed language with passivation
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Theories of Programming and Formal Methods
| Hi-index | 0.00 |