Denotational semantics of a parallel object-oriented language
DOI10.1016/0890-5401(89)90057-6zbMATH Open0695.68058DBLPjournals/iandc/AmericaBKR89OpenAlexW2041828955WikidataQ56092891 ScholiaQ56092891MaRDI QIDQ910250FDOQ910250
Authors: Pierre America, Jaco de Bakker, Joost N. Kok, Jan J. M. M. Rutten 
Publication date: 1989
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://ir.cwi.nl/pub/1602
Recommendations
Theory of software (68N99) Semantics in the theory of computing (68Q55) Theory of operating systems (68N25)
Cites Work
- Title not available (Why is that?)
- Process algebra for synchronous communication
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Processes and the denotational semantics of concurrency
- Title not available (Why is that?)
- Title not available (Why is that?)
- Designing equivalent semantic models for process creation
- Title not available (Why is that?)
- Semantic Correctness for a Parallel Object-Oriented Language
Cited In (32)
- Metric semantics for concurrency
- Four domains for concurrency
- Solving reflexive domain equations in a category of complete metric spaces
- The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
- Recursively defined metric spaces without contraction
- Semantic Correctness for a Parallel Object-Oriented Language
- Denotational semantics of object specification
- Reasoning about dynamically evolving process structures
- Partial confluence of processes and systems of objects
- Categorical semantics of parallel program design
- An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)
- A fixed-point theorem in a category of compact metric spaces
- \(\pi\)-calculus semantics of object-oriented programming languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Rendez-vous with metric semantics
- Title not available (Why is that?)
- An operational semantics for paragon: A design notation for parallel architectures
- The connection between initial and unique solutions of domain equations in the partial order and metric approach
- A hidden agenda
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- Denotational semantics of membrane systems by using complete metric spaces
- Title not available (Why is that?)
- A layered semantics for a parallel object-oriented language
- From \(\pi \)-calculus to higher-order \(\pi \)-calculus -- and back
- Topological models for higher order control flow
- A paradigmatic object-oriented programming language: Design, static typing and semantics
- Issues in the design of a parallel object-oriented language
- Comparative semantics for flow of control in logic programming without logic
- Designing equivalent semantic models for process creation
- Denotational semantics of a para-functional programming language
- Three metric domains of processes for bisimulation
Uses Software
This page was built for publication: Denotational semantics of a parallel object-oriented language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q910250)
