Fair synchronous transition systems and their liveness proofs
Lecture notes in computer science1998pp. 198–209
Citations Over TimeTop 11% of 1998 papers
Related Papers
- Preservation of Liveness and Deadlock-Freeness in Synchronous Synthesis of Petri Net Systems(2003)
- → A Note on the Impact of Conflict Resolution to Liveness and Deadlock in Petri Nets(1984)2 cited
- → Liveness conditions for a safe distributed deadlock resolution algorithm(2002)1 cited
- → TMACS: A Tool for Modeling, Manipulation, and Analysis of Concurrent Systems(2012)
- → Mutually Exclusive State-Feedback Control of State Machines and Deadlocks of the Resulting System(1993)