An approach to verification of communication in distributed computing system software
- 7 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- An approach to verification of communication in distributed computing system softwarePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- CSM: A Distributed Programming LanguageIEEE Transactions on Software Engineering, 1987
- Using message passing for distributed programming: proof rules and disciplinesACM Transactions on Programming Languages and Systems, 1984
- The ``Hoare Logic'' of CSP, and All ThatACM Transactions on Programming Languages and Systems, 1984
- Distributed Software System Design Representation Using Modified Petri NetsIEEE Transactions on Software Engineering, 1983
- Programming in Modula-2Published by Springer Nature ,1983
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- Automatic program verification I: A logical basis and its implementationActa Informatica, 1975
- Program proving: Jumps and functionsActa Informatica, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969