Pages that link to "Item:Q530860"

The following pages link to Proving concurrent constraint programming correct, revisited (Q530860):

Displaying 3 items.

• On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
• On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
• A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)