HOPLA
From MaRDI portal
Software:14870
No author found.
Related Items (13)
Unnamed Item ⋮ Semantic domains of timed event structures ⋮ Prime algebraicity ⋮ Domain theory for concurrency ⋮ Elements of a theory of algebraic theories ⋮ Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity ⋮ Nominal Domain Theory for Concurrency ⋮ Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction ⋮ CONCUR 2003 - Concurrency Theory ⋮ Computer Science Logic ⋮ Event Structures with Symmetry ⋮ Event Structure Spans for Nondeterministic Dataflow ⋮ Unnamed Item
This page was built for software: HOPLA
