scientific article; zbMATH DE number 3902014

MaRDI QIDQ3680256zbMATH OpenFDO

Authors William G. Golson

Publication date 1985

zbMATH Keywords

denotational semantics for CSP- like languagesfailures model of concurrencyhiding operationsynchronously communicating processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Specification of communicating processes: temporal logic versus refusals-based refinement
• A denotational semantic theory of concurrent systems
• A denotational semantics for a process-based simulation language
• A fully abstract denotational model for higher-order processes
• A denotational theory of synchronous reactive systems
• The denotational semantics of dynamic networks of processes
• Denotational semantics of program schemas for languages for communicating sequential processes
• scientific article; zbMATH DE number 1324657
• scientific article; zbMATH DE number 994060

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 Q3680256)