Channels - Sculptures in Concurrency :: FRELIP Discovery

Similar Items: Sculptures in Concurrency

Quick Look
Independence and concurrent separation logic
Quick Look
Recursive Concurrent Stochastic Games
Quick Look
A Concurrent Pattern Calculus
Quick Look
Concurrency and Probability: Removing Confusion, Compositionally
Quick Look
Concurrent Process Histories and Resource Transducers
Quick Look
Logical Concurrency Control from Sequential Proofs
Quick Look
Pure Nash Equilibria in Concurrent Deterministic Games
Quick Look
A Truly Concurrent Semantics for Reversible CCS
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
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
Quick Look
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
Quick Look
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets
Quick Look
Asynchronous Session-Based Concurrency: Deadlock-freedom in Cyclic Process Networks
Quick Look
Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
Quick Look
From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
Quick Look
Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
Quick Look
ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grained Concurrency and Logical Atomicity
Quick Look
4. Conceptual Materiality and Sculptural Critique
Quick Look
Resonating with the Past: Mediation of Memory in Sound Sculptures
Quick Look
The Significance of Sculpture in Antanas Vivulskis’ Architectural Projects
Quick Look
Exploring the aesthetic cognition and artistic acceptance of AIGC-generated urban sculptures: A structural equation modeling and visual content analysis approach