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

Browse this archive