Topological models for higher order control flow

DOI10.1007/3-540-58027-1_6MaRDI QIDQ5890044zbMATH OpenOpenAlexFDO

Authors J. W. de Bakker, Franck van Breugel

Publication date 28 April 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58027-1_6

zbMATH Keywords

extended stateoperational semanticsemantic modelsemantic statetransition system

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1049043
• Denotational models for programming languages: Applications of Banach's fixed point theorem
• scientific article; zbMATH DE number 1107487
• Final semantics for a higher order concurrent language
• An introduction to metric semantics: Operational and denotational models for programming and specification languages

Cites work

• A calculus of mobile processes. I
• An investigation into functions as processes
• Barbed bisimulation
• Contractions in comparing concurrency semantics
• Denotational semantics of a parallel object-oriented language
• Functions as processes
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 177813 (Why is no real title available?)
• scientific article; zbMATH DE number 1995172 (Why is no real title available?)
• scientific article; zbMATH DE number 3995042 (Why is no real title available?)
• Metric semantics for concurrency
• Observational structures and their logic
• Processes and the denotational semantics of concurrency
• Processes as terms: non-well-founded models for bisimulation
• Solving reflexive domain equations in a category of complete metric spaces
• Sur une méthode de métrisation complète de certains espaces d'ensembles compacts
• The chemical abstract machine
• Topologies on Spaces of Subsets

Cited in

(8)

• Topology, monitorable properties and runtime verification
• scientific article; zbMATH DE number 1639649 (Why is no real title available?)
• scientific article; zbMATH DE number 3903936 (Why is no real title available?)
• scientific article; zbMATH DE number 1049043 (Why is no real title available?)
• scientific article; zbMATH DE number 1107487 (Why is no real title available?)
• Generalizing finiteness conditions of labelled transition systems
• A semantic model for graphical user interfaces
• Final semantics for a higher order concurrent language

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Topological models for higher order control flow

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