scientific article; zbMATH DE number 3902017

MaRDI QIDQ3680259zbMATH OpenFDO

Authors A. W. Roscoe

Publication date 1985

zbMATH Keywords

denotational semanticsoccamfailure-setsprogramming language for concurrent systems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• An operational semantics of occam
• scientific article; zbMATH DE number 3890713
• scientific article; zbMATH DE number 92601
• A linear-history semantics for languages for distributed programming
• Semantics of communicating processes

Cited in

(34)

• scientific article; zbMATH DE number 4074455 (Why is no real title available?)
• A critique of Occam channel types
• The laws of Occam programming
• Denotational semantics in the cpo and metric approach
• Denotational semantics for thread algebra
• A denotational semantic theory of concurrent systems
• Semantics of production systems
• Denotational engineering
• scientific article; zbMATH DE number 3890713 (Why is no real title available?)
• scientific article; zbMATH DE number 1479618 (Why is no real title available?)
• Formal semantics of visual occam
• Retracing CSP
• Denotational semantics of a simple model of Eiffel
• A denotational semantics for the AspectTalk programming language
• Denotational semantics and its algebraic derivation for an event-driven system-level language
• The semantics of priority and fairness in occam
• Revisiting sequential composition in process calculi
• An operational semantics of occam
• On denotational versus predicative semantics
• scientific article; zbMATH DE number 1420827 (Why is no real title available?)
• Semantic domains for Handel-C
• Communicating processes with value-passing and assignments
• scientific article; zbMATH DE number 92599 (Why is no real title available?)
• scientific article; zbMATH DE number 1231450 (Why is no real title available?)
• Difunctorial semantics of object calculus
• Semantics Out of Context
• Dealing denotationally with stream-based communication
• The denotational semantics of dynamic networks of processes
• scientific article; zbMATH DE number 92601 (Why is no real title available?)
• UTP, \textsf{\textit{Circus}}, and Isabelle
• scientific article; zbMATH DE number 3890703 (Why is no real title available?)
• Compositional priority specification in real-time distributed systems.
• Inserting injection operations to denotational specifications
• A Denotational Semantics for Handel-C

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