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:31 - 5 self

Document Versions

Sharing Actions and Attributes in Modal Action Logic –Mark Ryan, José Fiadeiro, Tom Maibaum — 1991 — Theoretical Aspects of Computer Software