Concrete process algebra

Register-machine based processes

Journal of the ACM (JACM)

State space generation for the HAVi leader election protocol

Science of Computer Programming

Completeness of timed #CRL

Fundamenta Informaticae

Object-oriented tree traversal with J. J. Forester

Science of Computer Programming - Special issue: Language descriptions, tools and applications (LDTA'01)

Time and Probability in Process Algebra

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology

Process Algebra in PVS

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems

Compositional Modeling and Verification of Workflow Processes

Business Process Management, Models, Techniques, and Empirical Studies

Process Algebra with Probabilistic Choice

ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems

Branching time and orthogonal bisimulation equivalence

Theoretical Computer Science

Embedding untimed into timed process algebra: the case for explicit termination

Mathematical Structures in Computer Science

Process algebra model of Ada protected objects

ACM SIGPLAN Notices

Review of "Process algebra with timing by J.C.M. Baeten and C.A. Middleburg (Eds)" Springer, Berlin, 2002

Science of Computer Programming - Methods of software design: Techniques and applications

Towards lightweight checks for mass maintenance transformations

Science of Computer Programming

ASDL: a wide spectrum language for designing web services

Proceedings of the 15th international conference on World Wide Web

A characterization of regular expressions under bisimulation

Journal of the ACM (JACM)

Process Algebra with Nonstandard Timing

Fundamenta Informaticae

An Interface Group for Process Components

Fundamenta Informaticae

Orthogonal extensions in structural operational semantics

ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming

Strong splitting bisimulation equivalence

CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science

Completeness of Timed μCRL

Fundamenta Informaticae

Process Algebra with Nonstandard Timing

Fundamenta Informaticae

Formalisation of a Production System Modelling Language The operational semantics of χ Core

Fundamenta Informaticae