scientific article; zbMATH DE number 3799002

From MaRDI portal

Publication:4743724

Jump to:navigation, search

zbMath0506.68025MaRDI QIDQ4743724

Gordon D. Plotkin

Publication date: 1983

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

zbMATH Keywords

CSP denotational semantics communicating sequential processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

An operational semantics of occam ⋮ Probabilistic divide \& congruence: branching bisimilarity

This page was built for publication:

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