scientific article; zbMATH DE number 1497811

From MaRDI portal

Revision as of 07:40, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4499229

Jump to:navigation, search

zbMath0967.68104MaRDI QIDQ4499229

Thomas Troels Hildebrandt

Publication date: 4 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

presheaf model presheaf semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4499229&oldid=18588060"