scientific article; zbMATH DE number 3902017
From MaRDI portal
Publication:3680259
zbMATH Open0565.68024MaRDI QIDQ3680259FDOQ3680259
Authors: A. W. Roscoe 
Publication date: 1985
Title of this publication is not available (Why is that?)
Recommendations
Cited In (34)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Formal semantics of visual occam
- Retracing CSP
- Denotational semantics of a simple model of Eiffel
- A denotational semantics for the AspectTalk programming language
- The semantics of priority and fairness in occam
- Denotational semantics and its algebraic derivation for an event-driven system-level language
- Revisiting sequential composition in process calculi
- An operational semantics of occam
- On denotational versus predicative semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Semantic domains for Handel-C
- Title not available (Why is that?)
- Communicating processes with value-passing and assignments
- Difunctorial semantics of object calculus
- Semantics Out of Context
- Dealing denotationally with stream-based communication
- The denotational semantics of dynamic networks of processes
- Title not available (Why is that?)
- UTP, \textsf{\textit{Circus}}, and Isabelle
- Compositional priority specification in real-time distributed systems.
- Title not available (Why is that?)
- A Denotational Semantics for Handel-C
- Inserting injection operations to denotational specifications
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)
