Sharing Actions and Attributes in Modal Action Logic (1991)

by Mark Ryan, José Fiadeiro, Tom Maibaum
Venue:Theoretical Aspects of Computer Software