The following pages link to Sigurd Meldal (Q808280):
Displaying 8 items.
- A complete axiomatic semantics of spawning (Q808281) (← links)
- An axiomatic semantics for nested concurrency (Q1077155) (← links)
- Partial correctness of exits from concurrent structures (Q1080654) (← links)
- Computation Algebras (Q2762624) (← links)
- Singular and Plural Nondeterministic Parameters (Q4376171) (← links)
- (Q4782724) (← links)
- Generated models and the ω-rule: The nondeterministic case (Q5096747) (← links)
- Exploiting locality in maintaining potential causality (Q5255823) (← links)
