The following pages link to (Q3696528):
Displaying 18 items.
- Petri net languages revisited (Q418794) (← links)
- Some behavioural aspects of net theory (Q913516) (← links)
- On interprocess communication. I: Basic formalism (Q1079945) (← links)
- Traces, dependency graphs and DNLC grammars (Q1081307) (← links)
- On the membership problem for regular DNLC grammars (Q1082088) (← links)
- An algebra of processes (Q1096381) (← links)
- Mixed product and asynchronous automata (Q1099643) (← links)
- Theory of traces (Q1107296) (← links)
- Connectedness and synchronization (Q1179707) (← links)
- Event structures and trace monoids (Q1183599) (← links)
- On interleaving behaviour of PT-nets (Q1822993) (← links)
- Membership problems for regular and context-free trace languages (Q1824384) (← links)
- Interleaving set temporal logic (Q2639046) (← links)
- Process Discovery Using Localized Events (Q2941158) (← links)
- Calculi of net structures and sets are similar (Q3515462) (← links)
- Trace languages defined by regular string languages (Q3753510) (← links)
- On nets, algebras and modularity (Q5096217) (← links)
- On the structure of recognizable languages of dependence graphs (Q5286052) (← links)