Pages that link to "Item:Q1366311"
From MaRDI portal
The following pages link to Transition specifications for dynamic abstract data types (Q1366311):
Displaying 5 items.
- Generic transforms on incomplete specifications of asynchronous interfaces (Q276483) (← links)
- From static to dynamic abstract data-types: An institution transformation (Q1285655) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Program specification by typed Gurevich machines (Q2718774) (← links)