Fragmented retrenchment, concurrency and fairness
Authors:
- R. BanachRBR. Banach
- M. PoppletonMPM. Poppleton
- 7 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Sharp Retrenchment, Modulated Refinement and SimulationFormal Aspects of Computing, 1999
- An event structure semantics for P/T contextual nets: Asymmetric event structures1998
- On the nature of events: another perspective in concurrencyTheoretical Computer Science, 1995
- Symbolic Model Checking1993
- Symbolic model checking: 1020 States and beyondInformation and Computation, 1992
- Flow event structures and flow netsLecture Notes in Computer Science, 1990