A layered semantics for a parallel object-oriented language

DOI10.1007/BF01211312MaRDI QIDQ1194208zbMATH OpenOpenAlexWikidataFDO

Authors 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

object-oriented programmingparallelismcomplete metric spacesdenotational semantics

Mathematics Subject Classification ID

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

Recommendations

• Denotational semantics of a parallel object-oriented language
• Semantic Correctness for a Parallel Object-Oriented Language
• scientific article; zbMATH DE number 52915
• Syntax and semantics of Procol
• Objects in the \(\pi\)-calculus

Cites work

• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3640837 (Why is no real title available?)
• scientific article; zbMATH DE number 4115919 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A structural approach to operational semantics
• Communicating sequential processes
• Denotational semantics of a parallel object-oriented language
• Issues in the design of a parallel object-oriented language
• Processes and the denotational semantics of concurrency
• Semantic Correctness for a Parallel Object-Oriented Language
• Solving reflexive domain equations in a category of complete metric spaces
• Topologies on Spaces of Subsets

Cited in

(16)

• scientific article; zbMATH DE number 1490006 (Why is no real title available?)
• Denotational semantics of a parallel object-oriented language
• scientific article; zbMATH DE number 898454 (Why is no real title available?)
• scientific article; zbMATH DE number 52915 (Why is no real title available?)
• Denotational semantics of an object-oriented programming language with explicit wrappers
• Semantic Correctness for a Parallel Object-Oriented Language
• Objects in the \(\pi\)-calculus
• scientific article; zbMATH DE number 3907747 (Why is no real title available?)
• Rendez-vous with metric semantics
• Syntax and semantics of Procol
• scientific article; zbMATH DE number 1424057 (Why is no real title available?)
• Constraining interference in an object-based design method
• Three metric domains of processes for bisimulation
• A transition system semantics for the control-driven coordination language MANIFOLD
• scientific article; zbMATH DE number 1096856 (Why is no real title available?)
• Issues in the design of a parallel object-oriented language

Describes a project that uses

Uses Software

• POOL

This page was built for publication: A layered semantics for a parallel object-oriented language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1194208)