The following pages link to (Q3745260):
Displaying 11 items.
- Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
- Denotational semantics of a parallel object-oriented language (Q910250) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- Contractions in comparing concurrency semantics (Q919834) (← links)
- Applications of compactness in the Smyth powerdomain of streams (Q1107301) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- Designing equivalent semantic models for process creation (Q1107305) (← links)
- Metric semantics for concurrency (Q1113660) (← links)
- Four domains for concurrency (Q1179700) (← links)
- Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule (Q1183608) (← links)
- Free choice and contextually permitted actions (Q1922828) (← links)
