A relational model of a parallel and non-deterministic λ-calculus - PPS

A relational model of a parallel and non-deterministic λ-calculus - PPS

A relational semantics for parallelism and non-determinism in ... - PPS
Metaconfluence of λj: dealing with non-deterministic ... - PPS
Compositional Event Structure Semantics for the π-Calculus - PPS
A Polynomial Time λ-calculus with Multithreading and Side ... - PPS
A Polynomial Time λ-calculus with Multithreading and Side ... - PPS
Event Structure Semantics of Parallel Extrusion in the pi ... - PPS
Event Structure Semantics of Parallel Extrusion in the pi ... - PPS
Standardization and Böhm trees for Λĩ-calculus - PPS
Typing streams in the Λµ-calculus: extended abstract - PPS
A Non-Standard Semantics for Kahn Networks in Continuous ... - PPS
Compositional semantics of the reversible π-calculus - PPS
Homotopical semantics of parallel composition in CCS - PPS
Abstracting the differential semantics of rule-based models ... - PPS
An application of the extensional collapse of the relational ... - PPS
1. Preliminaries A type ν is a set of operation symbols of finite ... - PPS
Compiling Functional Types to Relational Specifications for ... - PPS
Probabilistic models for concurrency Notes for a minicourse - PPS
A Graph Abstract Machine Describing Event Structure ... - PPS
Jump from Parallel to Sequential Proofs: Multiplicatives* - PPS
Jump from Parallel to Sequential Proofs: Multiplicatives* - PPS