Denotational semantics of a parallel object-oriented language
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3821076 (Why is no real title available?)
- scientific article; zbMATH DE number 3980464 (Why is no real title available?)
- scientific article; zbMATH DE number 4085874 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 3716749 (Why is no real title available?)
- scientific article; zbMATH DE number 3581219 (Why is no real title available?)
- scientific article; zbMATH DE number 3640837 (Why is no real title available?)
- scientific article; zbMATH DE number 3232606 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- Designing equivalent semantic models for process creation
- Process algebra for synchronous communication
- Processes and the denotational semantics of concurrency
- Semantic Correctness for a Parallel Object-Oriented Language
Cited in
(32)- scientific article; zbMATH DE number 1490006 (Why is no real title available?)
- From \(\pi \)-calculus to higher-order \(\pi \)-calculus -- and back
- Denotational semantics of a para-functional programming language
- A fixed-point theorem in a category of compact metric spaces
- Partial confluence of processes and systems of objects
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- scientific article; zbMATH DE number 52915 (Why is no real title available?)
- A layered semantics for a parallel object-oriented language
- Semantic Correctness for a Parallel Object-Oriented Language
- An operational semantics for paragon: A design notation for parallel architectures
- An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract)
- Rendez-vous with metric semantics
- Topological models for higher order control flow
- Denotational semantics of object specification
- Comparative semantics for flow of control in logic programming without logic
- Denotational semantics of membrane systems by using complete metric spaces
- Metric semantics for concurrency
- Designing equivalent semantic models for process creation
- The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
- Solving reflexive domain equations in a category of complete metric spaces
- scientific article; zbMATH DE number 2230607 (Why is no real title available?)
- Recursively defined metric spaces without contraction
- Reasoning about dynamically evolving process structures
- The connection between initial and unique solutions of domain equations in the partial order and metric approach
- A hidden agenda
- A paradigmatic object-oriented programming language: Design, static typing and semantics
- Three metric domains of processes for bisimulation
- \(\pi\)-calculus semantics of object-oriented programming languages
- Categorical semantics of parallel program design
- scientific article; zbMATH DE number 1096856 (Why is no real title available?)
- Issues in the design of a parallel object-oriented language
- Four domains for concurrency
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)
