The following pages link to (Q3204054):
Displaying 7 items.
- Equational reasoning about nondeterministic processes (Q911801) (← links)
- Connectedness and synchronization (Q1179707) (← links)
- Declarative operations on nets (Q1202674) (← links)
- Execution termination and computation determinacy of data-flow program nets (Q2638758) (← links)
- (Q3750127) (← links)
- On nets, algebras and modularity (Q5096217) (← links)
- From Logic to Theoretical Computer Science – An Update (Q5452171) (← links)