The connection between an event structure semantics and an operational semantics TCSP

A Consistent Causality-Based View on a Timed Process AlgebraIncluding Urgent Interactions

Formal Methods in System Design - Special issue: industrial critical systems

Underspecification for a simple process algebra of recursive processes

Theoretical Computer Science

Towards the hierarchical verification of reactive systems

Theoretical Computer Science - Logic, semantics and theory of programming

Event-based operational semantics and a consistency result for real-time concurrent processes with action refinement

Journal of Computer Science and Technology

Operational Semantics for Real-Time Processes with Action Refinement

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods

CSP-CASL: a new integration of process algebra and algebraic specification

Theoretical Computer Science - Algebraic methods in language processing

Event Structures for Arbitrary Disruption

Fundamenta Informaticae

Event Structures for Arbitrary Disruption

Fundamenta Informaticae

Full Abstractness of a Metric Semantics for Action Refinement

Fundamenta Informaticae

How To Interpret And Establish Consistency Results For Semantics Of Concurrent Programming Languages

Fundamenta Informaticae

Mechanization Of Real-Time Linear Csp With Higher Order Logic

Fundamenta Informaticae