Specification and verification of a network mail system
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 198-234
- https://doi.org/10.1007/bfb0014669
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Verifying parallel programs with resource allocationPublished by Springer Nature ,1979
- Modula and the Design of a Message Switching Communications SystemPublished by Defense Technical Information Center (DTIC) ,1979
- Network: A Multiprocessor ProgramIEEE Transactions on Software Engineering, 1978
- PanelACM SIGSOFT Software Engineering Notes, 1977
- GypsyPublished by Association for Computing Machinery (ACM) ,1977