scientific article

zbMATH Open0565.68021MaRDI QIDQ3680256

William G. Golson

Publication date: 1985

Title of this publication is not available (Why is that?)

zbMATH Keywords

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

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Specification of communicating processes: temporal logic versus refusals-based refinement 👍 👎
• A denotational theory of synchronous reactive systems 👍 👎
• A fully abstract denotational model for higher-order processes 👍 👎
• Denotational semantics of program schemas for languages for communicating sequential processes 👍 👎
• A Denotational Semantic Theory of Concurrent Systems 👍 👎
• The denotational semantics of dynamic networks of processes 👍 👎
• A denotational semantics for a process-based simulation language 👍 👎

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)