HOPLA
From MaRDI portal
Cited in
(14)- Domain theory for concurrency
- New-HOPLA
- Elements of a theory of algebraic theories
- Exploratory functions on nondeterministic strategies, up to lower bisimilarity
- Event structures with symmetry
- Event structure spans for nondeterministic dataflow
- Real-time stable event structures and marked Scott domains: An adjunction
- Nominal Domain Theory for Concurrency
- scientific article; zbMATH DE number 2163043 (Why is no real title available?)
- Computer Science Logic
- Exploring the gap between linear and classical logic
- Full abstraction for HOPLA.
- Semantic domains of timed event structures
- Prime algebraicity
This page was built for software: HOPLA
