The following pages link to (Q4251923):
Displaying 5 items.
- Asynchronous cellular automata for pomsets (Q1583242) (← links)
- Regular sets of infinite message sequence charts (Q1887140) (← links)
- Shared-Memory Systems and Charts (Q3007636) (← links)
- MSO Logic for Unambiguous Shared-Memory Systems (Q3533037) (← links)
- Pomset Languages of Finite Step Transition Systems (Q3636841) (← links)