Reversible enhanced event structures: Towards reversible E-LOTOS

Authors:
M. Kapus-Kolar
Affiliations:
Joef Stefan Institute, Jamova 39, SI-1111 Ljubljana, Slovenia
Venue:
Computer Standards & Interfaces
Year:
2009

Citing 8
Cited 0

Restoring the concept of observability in E-LOTOS

Computer Standards & Interfaces
Communication and Concurrency

Communication and Concurrency
Process Algebra with Backtracking

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Transactions in RCCS

CONCUR 2005 - Concurrency Theory
Enhanced event structures: Towards a true concurrency semantics for E-LOTOS

Computer Standards & Interfaces
General Reversibility

Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Molecular Biology Done in CCS-R

Electronic Notes in Theoretical Computer Science (ENTCS)
Reversibility and Models for Concurrency

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

After studying how undoing of events of irreversibly aging processes complicates in the presence of urgent events or occasionally suspended subprocesses, we propose a reversibility operator for the standard process-algebraic specification language E-LOTOS, whose recently proposed true-concurrency semantics is based on enhanced event structures (EESs). With this operator, the reversibility of events executed by a real-time process and the urgency of their undoing can be specified with respect to their external appearance and the time elapsed since their execution. To facilitate definition of the operator, we introduce a very fine control of event undoing into the general EESs.