The following pages link to (Q4847021):
Displaying 7 items.
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
- A fully abstract semantics for concurrent constraint programming (Q1275748) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819) (← links)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- (Q5240218) (← links)
