Pages that link to "Item:Q281160"
From MaRDI portal
The following pages link to Dynamic spaces in concurrent constraint programming (Q281160):
Displaying 6 items.
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- Subexponential concurrent constraint programming (Q897936) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
