A layered semantics for a parallel object-oriented language

DOI10.1007/BF01211312zbMath0752.68052OpenAlexW2084421932MaRDI QIDQ1194208

Pierre America, Jan J. M. M. Rutten

Publication date: 27 September 1992

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211312

zbMATH Keywords

parallelismdenotational semanticsobject-oriented programmingcomplete metric spaces

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)

Related Items

Three metric domains of processes for bisimulation ⋮ Constraining interference in an object-based design method ⋮ A transition system semantics for the control-driven coordination language MANIFOLD ⋮ Rendez-vous with metric semantics

Uses Software

• POOL

Cites Work

• Solving reflexive domain equations in a category of complete metric spaces
• Issues in the design of a parallel object-oriented language
• Denotational semantics of a parallel object-oriented language
• A structural approach to operational semantics
• Semantic Correctness for a Parallel Object-Oriented Language
• Communicating sequential processes
• Processes and the denotational semantics of concurrency
• Topologies on Spaces of Subsets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item