Pages that link to "Item:Q731895"
From MaRDI portal
The following pages link to Relating state-based and process-based concurrency through linear logic (full-version) (Q731895):
Displaying 16 items.
- Bounded memory Dolev-Yao adversaries in collaborative systems (Q462499) (← links)
- Collaborative planning with confidentiality (Q540688) (← links)
- Logical approximation for program analysis (Q1929363) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Nested session types (Q2233456) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- (Q5009447) (← links)
- (Q5014811) (← links)
- (Q5020946) (← links)
- (Q5028463) (← links)
- Back to futures (Q5063251) (← links)
- Relating reasoning methodologies in linear logic and process algebra (Q5741581) (← links)
- Session-typed concurrent contracts (Q5925542) (← links)
