Mobile values, new names, and secure communication
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bisimulations in the join-calculus
Theoretical Computer Science
Trace and testing equivalence on asynchronous processes
Information and Computation
Secure implementation of channel abstractions
Information and Computation
Weakest Congruence Results Concerning "Any-Lock"
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
On Barbed Equivalences in pi-Calculus
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
A Calculus of Mobile Resources
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
High-Level Petri Nets as Type Theories in the Join Calculus
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
CSFW '02 Proceedings of the 15th IEEE workshop on Computer Security Foundations
Mathematical Structures in Computer Science
Towards a theory of bisimulation for the higher-order process calculi
Journal of Computer Science and Technology
Typed behavioural equivalences for processes in the presence of subtyping
Mathematical Structures in Computer Science
On asynchrony in name-passing calculi
Mathematical Structures in Computer Science
A theory of bisimulation for a fragment of concurrent ML with local names
Theoretical Computer Science
Behavioral theory for mobile ambients
Journal of the ACM (JACM)
A calculus for reasoning about software composition
Theoretical Computer Science - Formal methods for components and objects
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Type-based cryptographic operations
Journal of Computer Security - Special issue on CSFW15
Full abstraction for polymorphic π-calculus
Theoretical Computer Science
Reactive Systems, Barbed Semantics, and the Mobile Ambients
FOSSACS '09 Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
PiDuce - A project for experimenting Web services technologies
Science of Computer Programming
Contextual Labelled Semantics for Higher-order Process Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Bisimulation proof methods for mobile ambients
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Full abstraction for polymorphic pi-calculus
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Foundations of web transactions
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Theoretical Computer Science
More on bisimulations for higher order π-calculus
Theoretical Computer Science
Hi-index | 0.01 |