Bisimulations in the join-calculus
Theoretical Computer Science
Mobile objects as mobile processes
Information and Computation - IFIP TCS2000
The π-Calculus in Direct Style
Higher-Order and Symbolic Computation
Understanding the mismatch combinator in Chi calculus
Theoretical Computer Science
Strengthening UML Collaboration Diagrams by State Transformations
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Region Analysis and a pi-Calculus wiht Groups
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Aliasing Models for Object Migration
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Suptyping and Locality in Distributed Higher Order Processes (extended abstract)
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Typing Non-uniform Concurrent Objects
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Reasoning About Concurrent Systems Using Types
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Locality and Polyadicity in Asynchronous Name-Passing Calculi
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
On Synchronous and Asynchronous Mobile Processes
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Secrecy Types for Asymmetric Communication
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Local pi-Calculus at Work: Mobile Objects as Mobile Processes
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
An Interpretation of Typed Concurrent Objects in the Blue Calculus
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
A theory of may testing for actors
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Secrecy types for asymmetric communication
Theoretical Computer Science - Foundations of software science and computation structures
Bisimulation congruence of ℵ-calculus
Information and Computation
The receptive distributed π-calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the expressive power of polyadic synchronisation in π-calculus
Nordic Journal of Computing
Theoretical Computer Science
On the expressiveness of pure safe ambients
Mathematical Structures in Computer Science
Region analysis and a π-calculus with groups
Journal of Functional Programming
Strong normalisation in the π-calculus
Information and Computation
On the representation of McCarthy's amb in the π-calculus
Theoretical Computer Science - Expressiveness in concurrency
Types and full abstraction for polyadic π-calculus
Information and Computation
A calculus for reasoning about software composition
Theoretical Computer Science - Formal methods for components and objects
Classification of security properties in a Linda-like process algebra
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Coordinating mobile agents in interaction spaces
Science of Computer Programming
Information and Computation
Separation of synchronous and asynchronous communication via testing
Theoretical Computer Science
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A Calculus for Generation, Verification and Refinement of BPEL Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Verified interoperable implementations of security protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
Types and full abstraction for polyadic π-calculus
Information and Computation
Channel abstractions for network security†
Mathematical Structures in Computer Science
Towards a unified approach to encodability and separation results for process calculi
Information and Computation
Encoding CDuce in the Cπ-calculus
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Computational secrecy by typing for the pi calculus
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
On message deliverability and non-uniform receptivity
Fundamenta Informaticae
Hi-index | 0.00 |