Issues in the design of a parallel object-oriented language
From MaRDI portal
Publication:909434
DOI10.1007/BF01887214zbMath0694.68012MaRDI QIDQ909434
Publication date: 1989
Published in: Formal Aspects of Computing (Search for Journal in Brave)
General topics in the theory of software (68N01) Theory of operating systems (68N25) Theory of software (68N99)
Related Items
Reasoning about dynamically evolving process structures, Constraining interference in an object-based design method, From π-calculus to higher-order π-calculus — and back, Behavioral interface description of an object-oriented language with futures and promises, Splitting atoms safely, π-Calculus semantics of object-oriented programming languages, Confluence of processes and systems of objects, On transformations of concurrent object programs, A calculus for concurrent objects, Inheritance in the join calculus., Quantified abstract configurations of distributed systems, A layered semantics for a parallel object-oriented language, Verification and refinement with fine-grained action-based concurrent objects, Abstract interface behavior of object-oriented languages with monitors, An interpretation of typed objects into typed \(\pi\)-calculus, Partial confluence of processes and systems of objects, On transformations of concurrent-object programs, Rendez-vous with metric semantics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A proof system for concurrent ADA programs
- Denotational semantics of a parallel object-oriented language
- The programming language ADA. Reference manual. American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983
- Algebra of communicating processes with abstraction
- On the consistency of Koomen's fair abstraction rule
- A semantics of multiple inheritance
- Designing equivalent semantic models for process creation
- Power domains
- Semantic Correctness for a Parallel Object-Oriented Language
- Symmetric intertask communication
- Process algebra for synchronous communication
- A Proof System for Communicating Sequential Processes
- Ten Years of Hoare's Logic: A Survey—Part I
- A Powerdomain Construction
- Can programming be liberated from the von Neumann style?
- Communicating sequential processes
- Processes and the denotational semantics of concurrency
- SIMULA: an ALGOL-based simulation language
- An axiomatic basis for computer programming
