scientific article; zbMATH DE number 512945

MaRDI QIDQ4281659zbMATH OpenFDO

Authors Ugo Montanari

Publication date 10 March 1994

zbMATH Keywords

CCSconcurrent constraint programmingconcurrent languagesdatabasesgraph rewriting systemsHorn clauseslambda calculusparallelization of microprogramsPetri netsphrase structure grammarsprocess semanticsserializabilityterm rewriting systemstrue concurrency

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3956419
• Truly concurrent constraint programming
• A true concurrency model of CCS semantics
• Truly concurrent constraint programming

Cited in

(7)

• A true concurrency model of CCS semantics
• Truly concurrent logic via in-between specification
• scientific article; zbMATH DE number 4210118 (Why is no real title available?)
• scientific article; zbMATH DE number 3956419 (Why is no real title available?)
• scientific article; zbMATH DE number 4112056 (Why is no real title available?)
• The computer science of concurrency: the early years
• Foundations of Software Science and Computational Structures

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281659)