Pages that link to "Item:Q1107303"
From MaRDI portal
The following pages link to Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303):
Displaying 11 items.
- Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- Contractions in comparing concurrency semantics (Q919834) (← links)
- Designing equivalent semantic models for process creation (Q1107305) (← links)
- Metric semantics for concurrency (Q1113660) (← links)
- Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
- Correctness of concurrent processes (Q1176236) (← links)
- Four domains for concurrency (Q1179700) (← links)
- Rendez-vous with metric semantics (Q1313370) (← links)
- Ernst-Rüdiger Olderog: A Life for Meaning (Q3449620) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)
