Bundle event structures: a non-interleaving semantics for LOTOS

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

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

Contextual Petri nets, asymmetric event structures, and processes

Information and Computation

Bundle event structures: a revised cpo approach

Information Processing Letters

Domain and event structure semantics for Petri nets with read and inhibitor arcs

Theoretical Computer Science

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

Enhanced event structures: Towards a true concurrency semantics for E-LOTOS

Computer Standards & Interfaces

Event Structures for Arbitrary Disruption

Fundamenta Informaticae

Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra

Concurrency, Graphs and Models

Action Refinement for Real-Time Concurrent Processes with Urgency

Electronic Notes in Theoretical Computer Science (ENTCS)

Modeling dependencies and simultaneity in membrane system computations

Theoretical Computer Science

Event Structures for Arbitrary Disruption

Fundamenta Informaticae