Pages that link to "Item:Q1107305"

The following pages link to Designing equivalent semantic models for process creation (Q1107305):

Displayed 8 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)