The following pages link to (Q3692883):
Displaying 6 items.
- A note on general sliding window processes (Q457827) (← links)
- An algebra of concurrent non-deterministic processes (Q1179704) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Structural characterization of taboo-stationarity for general processes in two-sided time. (Q2574531) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- Generalised liouville processes and their properties (Q5139919) (← links)