Petri nets are a well-known model of concurrency and provide an ideal setting for the study
of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a …

Reversible prime event structures extend the well-known model of prime event structures to
represent reversible computational processes. Essentially, they give abstract descriptions of …

Event structures have emerged as a foundational model for concurrent computation,
explaining computational processes by outlining the events and the relationships that dictate …

This paper presents a study of causality in a reversible, concurrent setting. There exist
various notions of causality in π-calculus, which differ in the treatment of parallel extrusions …

Reversible computing is a new paradigm that has emerged recently and extends the
traditional forwards-only computing mode with the ability to execute in backwards, so that …

Software Transactional memory (STM) is an emerging abstraction for concurrent
programming alternative to lock-based synchronizations. Most STM models admit only …