Protocol verification by aggregation of distributed transactions
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 300-310
- https://doi.org/10.1007/3-540-61474-5_78
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Protocol verification as a hardware design aidPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The Stanford FLASH multiprocessorPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- Symbolic Model CheckingPublished by Springer Nature ,1993
- The existence of refinement mappingsTheoretical Computer Science, 1991
- Stepwise Refinement of Distributed Systems Models, Formalisms, CorrectnessPublished by Springer Nature ,1990
- I/O Automata: A Model for Discrete Event SystemsPublished by Defense Technical Information Center (DTIC) ,1988
- Protocol Verification via ProjectionsIEEE Transactions on Software Engineering, 1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- An assertional correctness proof of a distributed algorithmScience of Computer Programming, 1982