Skip to content
<title>Channels - A Concurrent Pattern Calculus :: FRELIP Discovery
Home
Search
Guides
Journals
Learning
FRELIP Discovery Search
Open Access Catalog for African Scholarship
Channels
A Concurrent Pattern Calculus
Search for more channels:
Similar Items: A Concurrent Pattern Calculus
Channel Options
View Record
Explore related channels
Quick Look
Algebraic Pattern Matching in Join Calculus
Quick Look
Sculptures in Concurrency
Quick Look
Independence and concurrent separation logic
Quick Look
Recursive Concurrent Stochastic Games
Quick Look
A Truly Concurrent Semantics for Reversible CCS
Quick Look
Concurrency and Probability: Removing Confusion, Compositionally
Quick Look
Concurrent Process Histories and Resource Transducers
Quick Look
A calculus for costed computations
Quick Look
The Safe Lambda Calculus
Quick Look
Completeness of the ZX-Calculus
Quick Look
The Many-Worlds Calculus
Quick Look
Logical Concurrency Control from Sequential Proofs
Quick Look
Pure Nash Equilibria in Concurrent Deterministic Games
Quick Look
A strong call-by-need calculus
Quick Look
Permission-Based Separation Logic for Message-Passing Concurrency
Quick Look
Barriers in Concurrent Separation Logic: Now With Tool Support!
Quick Look
Thin Games with Symmetry and Concurrent Hyland-Ong Games
Quick Look
Asynchronous wreath product and cascade decompositions for concurrent behaviours
Quick Look
Ordered Models of the Lambda Calculus
Quick Look
Privacy by typing in the $pi$-calculus
Quick Look
Lineal: A linear-algebraic Lambda-calculus
Quick Look
A diagrammatic calculus of fermionic quantum circuits
Quick Look
Towards a Minimal Stabilizer ZX-calculus
Quick Look
A Calculus for Scoped Effects & Handlers
Load more items
View Record
Prev
Explore related channels
Next
