Pages that link to "Item:Q1193602"
From MaRDI portal
The following pages link to Algebraic and functional specification of an interactive serializable database interface (Q1193602):
Displaying 4 items.
- Algebraic specification of concurrent systems (Q914405) (← links)
- Operational specification with joint actions: Serializable databases (Q1193603) (← links)
- Specifying modules to satisfy interfaces: A state transition system approach (Q1193606) (← links)
- Using eternity variables to specify and prove a serializable database interface (Q1881266) (← links)