Pages that link to "Item:Q915474"

The following pages link to Comparative metric semantics for concurrent PROLOG (Q915474):

Displaying 4 items.

• Comparative semantics for flow of control in logic programming without logic (Q805247) (← links)
• Four domains for concurrency (Q1179700) (← links)
• The semantics of the combination of atomized statements and parallel choice (Q1267037) (← links)
• Unique, guarded fixed points in an additive setting (Q2842814) (← links)