Comparing the expressive power of the synchronous and the asynchronous &pgr;-calculus
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A typed language for distributed mobile processes (extended abstract)
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
The π-Calculus in Direct Style
Higher-Order and Symbolic Computation
Understanding the mismatch combinator in Chi calculus
Theoretical Computer Science
Coordinating processes with secure spaces
Science of Computer Programming - Special issue on coordination languages and architectures
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
Bisimulation Lattice of Chi Processes
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
A Theory of "May" Testing for Asynchronous Languages
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
The Receptive Distributed pi-Calculus (Extended Abstract)
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
A Coordination Model Agents Based on Secure Spaces
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
MA '01 Proceedings of the 5th International Conference on Mobile Agents
Secure Composition of Insecure Components
CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Secure composition of untrusted code: box π, wrappers, and causality types
Journal of Computer Security - CSFW13
Bisimulation congruence of ℵ-calculus
Information and Computation
Coordinating mobile agents in interaction spaces
Science of Computer Programming
XPi: A typed process calculus for XML messaging
Science of Computer Programming
On the Asynchronous Nature of the Asynchronous Π-Calculus
Concurrency, Graphs and Models
Abstract Semantics by Observable Contexts
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
G-Reactive Systems as Coalgebras
Electronic Notes in Theoretical Computer Science (ENTCS)
A Coalgebraic Theory of Reactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Minimization Algorithm for Symbolic Bisimilarity
ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Theoretical Computer Science
Mobile Agents in Interaction Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
On the expressiveness of interaction
Theoretical Computer Science
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Performance evaluation of DPS coordination strategies modelled in pi-calculus
International Journal of Intelligent Information and Database Systems
Coalgebraic symbolic semantics
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Parallel computing with the Pi-calculus
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Concurrency can't be observed, asynchronously
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Deriving labels and bisimilarity for concurrent constraint programming
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Deadlock verification of a DPS coordination strategy and its alternative model in pi-calculus
International Journal of Intelligent Information and Database Systems
Specifying stateful asynchronous properties for distributed programs
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Efficient computation of program equivalence for confluent concurrent constraint programming
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
| Hi-index | 0.00 |