scientific article; zbMATH DE number 1305006
From MaRDI portal
Publication:4251929
zbMath0940.68078MaRDI QIDQ4251929
Glynn Winskel, Prakash Panangaden, Thomas Troels Hildebrandt
Publication date: 19 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay ⋮ Presheaf models for CCS-like languages ⋮ Domain theory for concurrency ⋮ Open maps in concrete categories and branching bisimulation for prefix orders ⋮ Event Structure Spans for Nondeterministic Dataflow
This page was built for publication: