A logical characterization of well branching event structures
- 6 April 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 96 (1) , 35-72
- https://doi.org/10.1016/0304-3975(92)90181-e
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- Decidability for branching timeStudia Logica, 1980