The following pages link to (Q4375629):
Displaying 5 items.
- Towards imperative modules: reasoning about invariants and sharing of mutable state (Q854171) (← links)
- Modal functions for concise definition of state machines and products (Q1183435) (← links)
- From static to dynamic abstract data-types: An institution transformation (Q1285655) (← links)
- (Q5015367) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479171) (← links)