Pages that link to "Item:Q1583242"
From MaRDI portal
The following pages link to Asynchronous cellular automata for pomsets (Q1583242):
Displayed 10 items.
- Muller message-passing automata and logics (Q948076) (← links)
- Regular sets of infinite message sequence charts (Q1887140) (← links)
- Shared-Memory Systems and Charts (Q3007636) (← links)
- (Q3384166) (← links)
- MSO Logic for Unambiguous Shared-Memory Systems (Q3533037) (← links)
- Semantics of Deterministic Shared-Memory Systems (Q3541010) (← links)
- UNAMBIGUOUS SHARED-MEMORY SYSTEMS (Q3586410) (← links)
- Pomset Languages of Finite Step Transition Systems (Q3636841) (← links)
- (Q5015275) (← links)
- A survey of cellular automata: types, dynamics, non-uniformity and applications (Q6151179) (← links)