Pages that link to "Item:Q3988805"
From MaRDI portal
The following pages link to An extension of the notions of traces and of asynchronous automata (Q3988805):
Displayed 10 items.
- Asynchronous automata versus asynchronous cellular automata (Q1334661) (← links)
- A partial trace semantics for Petri nets (Q1341743) (← links)
- Asynchronous cellular automata for pomsets (Q1583242) (← links)
- Regular sets of infinite message sequence charts (Q1887140) (← links)
- On the join dependency relation in multinomial lattices (Q2464733) (← 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)
- Probabilistic asynchronous automata (Q4864443) (← links)