Pages that link to "Item:Q1107305"
From MaRDI portal
The following pages link to Designing equivalent semantic models for process creation (Q1107305):
Displaying 9 items.
- A complete axiomatic semantics of spawning (Q808281) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Denotational semantics of a parallel object-oriented language (Q910250) (← links)
- Four domains for concurrency (Q1179700) (← links)
- An algebra for process creation (Q1203719) (← links)
- Rendez-vous with metric semantics (Q1313370) (← links)
- The connection between initial and unique solutions of domain equations in the partial order and metric approach (Q1377300) (← links)
- On CCS with parametric relabelling (Q1914043) (← links)
- Process algebra with strategic interleaving (Q2000000) (← links)
