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