Pages that link to "Item:Q911801"
From MaRDI portal
The following pages link to Equational reasoning about nondeterministic processes (Q911801):
Displaying 11 items.
- Connectedness and synchronization (Q1179707) (← links)
- An extensional fixed-point semantics for nondeterministic data flow (Q1183593) (← links)
- A nondeterministic extension over finitely recursive process model (Q1361801) (← links)
- A compositional dataflow semantics for Petri nets (Q1902302) (← links)
- (Q2736352) (← links)
- On the unification of process semantics: equational semantics (Q2805160) (← links)
- (Q3974854) (← links)
- On nets, algebras and modularity (Q5096217) (← links)
- Dataflow semantics for Petri nets (Q5096839) (← links)
- Negative Results on Decidability and Small Model Property of Process Equations (Q5217303) (← links)
- Programming Languages and Systems (Q5464037) (← links)