The following pages link to Proofs as processes (Q1342245):
Displaying 29 items.
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Reaction graph (Q1273068) (← links)
- On the \(\pi\)-calculus and linear logic (Q1342247) (← links)
- Full abstraction for PCF (Q1854394) (← links)
- Variations on mobile processes (Q1960530) (← links)
- A specification structure for deadlock-freedom of synchronous processes (Q1960536) (← links)
- Prioritise the best variation (Q2117016) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Propositions as sessions (Q2875234) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types (Q3184667) (← links)
- Conflation Confers Concurrency (Q3188279) (← links)
- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization (Q3638277) (← links)
- A proof theoretical approach to communication (Q4571964) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)
- Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)
- (Q5018487) (← links)
- (Q5018488) (← links)
- (Q5075308) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- Relating reasoning methodologies in linear logic and process algebra (Q5741581) (← links)
- A fully abstract denotational semantics for the calculus of higher-order communicating systems (Q5940933) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- Linear resources in Isabelle/HOL (Q6552504) (← links)
- Specification structures and propositions-as-types for concurrency (Q6560388) (← links)
- A subexponential view of domains in session types (Q6661154) (← links)
