Sometimes ‘some’ is as good as ‘all’
- 30 September 2006
- book chapter
- Published by Springer Nature
- p. 192-206
- https://doi.org/10.1007/bfb0084792
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Proving partial order liveness propertiesPublished by Springer Nature ,2005
- Traces, histories, graphs: Instances of a process monoidPublished by Springer Nature ,2005
- Completing the temporal pictureTheoretical Computer Science, 1991
- Event fairness and non-interleaving concurrencyFormal Aspects of Computing, 1989
- “Sometimes” and “not never” revisitedJournal of the ACM, 1986
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Defining livenessInformation Processing Letters, 1985
- Distributed snapshotsACM Transactions on Computer Systems, 1985
- Decomposition of distributed programs into communication-closed layersScience of Computer Programming, 1982
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980