Contractions in comparing concurrency semantics

DOI10.1016/0304-3975(90)90016-BMaRDI QIDQ919834zbMATH OpenOpenAlexFDO

Authors Jan J. M. M. Rutten, Joost N. Kok

Publication date 1990

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(90)90016-b

zbMATH Keywords

communicationconcurrencyconcurrent imperative languagesdenotational semanticnondeterminismoperational semanticsvalue passing

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 4060684
• scientific article; zbMATH DE number 3980464
• Concurrency semantics in continuation-passing style
• Constraint-based concurrency and beyond
• Balancing expressiveness in formal approaches to concurrency
• Relation-based semantics for concurrency
• scientific article; zbMATH DE number 3970098
• Beyond contracts for concurrency
• scientific article; zbMATH DE number 1023018
• scientific article; zbMATH DE number 408806

Cites work

• A calculus of communicating systems
• A Powerdomain Construction
• Countable nondeterminism and random assignment
• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 3980464 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3658971 (Why is no real title available?)
• scientific article; zbMATH DE number 3716749 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• Processes and the denotational semantics of concurrency
• Semantics of nondeterminism, concurrency, and communication
• Solving reflexive domain equations in a category of complete metric spaces
• Topologies on Spaces of Subsets
• Transition systems, metric spaces and ready sets in the semantics of uniform concurrency

Cited in

(12)

• Denotational models for programming languages: Applications of Banach's fixed point theorem
• Rendez-vous with metric semantics
• Bisimulation indexes and their applications
• scientific article; zbMATH DE number 3980464 (Why is no real title available?)
• scientific article; zbMATH DE number 4060684 (Why is no real title available?)
• scientific article; zbMATH DE number 1497789 (Why is no real title available?)
• Generalizing finiteness conditions of labelled transition systems
• scientific article; zbMATH DE number 4119659 (Why is no real title available?)
• Three metric domains of processes for bisimulation
• Topological models for higher order control flow
• An introduction to metric semantics: Operational and denotational models for programming and specification languages
• Beyond contracts for concurrency

This page was built for publication: Contractions in comparing concurrency semantics

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