Lectures on a Calculus for Communicating Systems

A CSS semantics for NIL

IBM Journal of Research and Development

How to invent distributed implementation schemes of an object-based concurrent language: a transformational approach

OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications

Bisimulation can't be traced

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Concurrent constraint programming

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Bisimulation can't be traced

Journal of the ACM (JACM)

Branching time and abstraction in bisimulation semantics

Journal of the ACM (JACM)

Comparing coordination models based on shared distributed replicated data

Proceedings of the 1999 ACM symposium on Applied computing

A domain equation for bisimulation

Information and Computation

Facilitating the specification capture and transformation process in the development of multi-agent systems

FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems

Sigref: a symbolic bisimulation tool box

ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis

ON SYNCHRONIZATION LANGUAGES

Fundamenta Informaticae