The following pages link to (Q4035233):
Displaying 4 items.
- A reduced maximality labeled transition system generation for recursive Petri nets (Q903505) (← links)
- The semantics of the combination of atomized statements and parallel choice (Q1267037) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- Calculi of net structures and sets are similar (Q3515462) (← links)
