Publication:4499229

zbMath0967.68104MaRDI QIDQ4499229

Thomas Troels Hildebrandt

Publication date: 4 March 2001

zbMATH Keywords

presheaf model; presheaf semantics

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

Presheaf models for CCS-like languages, A Logical Process Calculus