Papers from SINTRA meeting
- PART OF:
- National Physical Laboratory Archive
- Made:
- 1981-07
- part of archive:
- National Physical Laboratory Archive
- maker:
- National Physical Laboratory
Papers from SINTRA meeting IFIP W.G 2.3, October 1981. Paper: A look at Algebraic Specifications by Stephen N. Zilles, Computer Science Department IBM San Jose Research Laboratory. July 1981. Paper: A Modal Logic of Guarded Commands by Jose Carmo, University of Lisbon, Portugal. Paper: Dealing with I/O Commands, WP as a Modal Operator , Minimal Axiomatic System, Abstract Algorithms.
Details
- Identifier:
- NPL/Z6
- Access:
- Open Access
- rights:
- Copies may be supplied in accordance with current copyright legislation and Science Museum Group terms and conditions