The following pages link to (Q3795188):
Displaying 9 items.
- Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
- Beyond contracts for concurrency (Q846113) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- Contractions in comparing concurrency semantics (Q919834) (← links)
- Metric semantics for concurrency (Q1113660) (← links)
- Four domains for concurrency (Q1179700) (← links)
- Denotational semantics in the cpo and metric approach (Q1346621) (← links)
- Concurrency semantics based on metric domain equations (Q3975030) (← links)