Sharing Actions and Attributes in Modal Action Logic (1991)

Cached

Download Links

by Mark Ryan , José Fiadeiro , Tom Maibaum
Venue:Theoretical Aspects of Computer Software
Citations:34 - 5 self

Documents Related by Co-Citation

1165 The Z Notation: A Reference Manual – J M Spivey - 1989
865 Circumscription—a form of non-monotonic reasoning – John McCarthy - 1980
2334 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
2092 Usability Engineering – J NIELSEN - 1995
1484 A logic for default reasoning – R Reiter - 1980
1246 Automatic verification of finite-state concurrent systems using temporal logic specifications – E. M. Clarke, E. A. Emerson, A. P. Sistla - 1986
780 The knowledge level – Allen Newell - 1982
674 Systematic Software Development Using VDM – C B Jones - 1990
584 The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression – R Reiter - 1991