scientific article; zbMATH DE number 3902017

MaRDI QIDQ3680259zbMATH OpenFDO

Authors A. W. Roscoe

Publication date 1985

zbMATH Keywords

denotational semanticsfailure-setsoccamprogramming 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

(36)

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

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)