Applications of process algebra

Structured operational semantics as a specification language

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Bisimulation can't be traced

Journal of the ACM (JACM)

Three logics for branching bisimulation

Journal of the ACM (JACM)

General distributions in process algebra

Lectures on formal methods and performance analysis

A practical approach to implementing real-time semantics

Annals of Software Engineering

Object Protocols as Functional Parsers

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming

Detecting Deadlock in Ada Rendezvous Flow Structure Based on Process Algebra

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering

Specifying Complex Process Control Aspects in Workflows for Exception Handling

DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications

Liveness, fairness and impossible futures

CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory