Information for "Denotational semantics of a parallel object-oriented language"

Basic information

Display title	Denotational semantics of a parallel object-oriented language
Default sort key	Denotational semantics of a parallel object-oriented language
Page length (in bytes)	15
Namespace ID	0
Page ID	8924475
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	1
Counted as a content page	Yes
Page views in the past month	0
MaRDI portal item ID	None
Central description	scientific article; zbMATH DE number 4139312

Page protection

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

View the protection log for this page.

Edit history

Page creator	Import240129110113 (talk \| contribs)
Date of page creation	18:01, 30 January 2024
Latest editor	AllProfilePages260409040437 (talk \| contribs)
Date of latest edit	03:31, 12 April 2026
Total number of edits	2
Recent number of edits (within past 90 days)	1
Recent number of distinct authors	1

Page properties

Transcluded template (1)	Page included on this page: Template:Publication (view source)
MaRDI portal entities used in this page	zbMATH Keywords Miscellaneous (e.g. entity existence) Label: en published in Miscellaneous (e.g. entity existence) Label: en full work available at URL Miscellaneous (e.g. entity existence) Label: en Mathematics Subject Classification ID Miscellaneous (e.g. entity existence) Label: en publication date Miscellaneous (e.g. entity existence) Label: en Denotational semantics of a para-functional programming language Title Designing equivalent semantic models for process creation Label: en Title Metric semantics for concurrency Title Denotational semantics of object specification Title Four domains for concurrency Title A layered semantics for a parallel object-oriented language Label: en Title Partial confluence of processes and systems of objects Title Rendez-vous with metric semantics Title The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\) Title Reasoning about dynamically evolving process structures Title Categorical semantics of parallel program design Title The connection between initial and unique solutions of domain equations in the partial order and metric approach Title Smalltalk Label: en Title Ada95 Title A hidden agenda Title POOL Title Denotational semantics of membrane systems by using complete metric spaces Title Objects in the \(\pi\)-calculus Label: en Title An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract) Title Recursively defined metric spaces without contraction Title Information and Computation Label: en Q3347276 Label: en Label: mul Title Semantic Correctness for a Parallel Object-Oriented Language Label: en Title Q3667910 Title Process algebra for synchronous communication Title Label: en Q3745260 Title Q3815463 Title Q3898534 Title Q3907039 Title Q4003187 Label: en Label: mul Title Q4150804 Title Q4199490 Title Q4372486 Title Q4496249 Title Processes and the denotational semantics of concurrency Title Label: en A paradigmatic object-oriented programming language: Design, static typing and semantics Title From \(\pi \)-calculus to higher-order \(\pi \)-calculus -- and back Title \(\pi\)-calculus semantics of object-oriented programming languages Title Q5520521 Title Q5639839 Title Q5708741 Title Three metric domains of processes for bisimulation Title Topological models for higher order control flow Title An introduction to metric semantics: Operational and denotational models for programming and specification languages Title Joost N. Kok Label: en Title A fixed-point theorem in a category of compact metric spaces Title Pierre America Label: en Title Solving reflexive domain equations in a category of complete metric spaces Title An operational semantics for paragon: A design notation for parallel architectures Title Comparative semantics for flow of control in logic programming without logic Title Issues in the design of a parallel object-oriented language Title Jaco de Bakker Label: en Title Denotational semantics of a parallel object-oriented language Sitelink Title Miscellaneous (e.g. entity existence) Label: en Some statements Jan J. M. M. Rutten Label: en Title