scientific article; zbMATH DE number 1049043

MaRDI QIDQ4348453zbMATH OpenFDO

Authors Jaco de Bakker, Eric de Vink

Publication date 17 August 1997

zbMATH Keywords

imperative logic, object-oriented and functional languageslabeled transition system specificationoperational and denotational semanticssequential and concurrent languages

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 723228
• scientific article; zbMATH DE number 3967883
• scientific article; zbMATH DE number 821282
• Topological models for higher order control flow

Cited in

(33)

• Fully abstract models and refinements as tools to compare agents in timed coordination languages
• Continuation semantics for flowgraph equations
• Structural induction and coinduction in a fibrational setting
• Fundamentals of control flow in workflows
• ConGolog, a concurrent programming language based on the situation calculus
• New perspectives of granular computing in relation geometry induced by pairings
• A note on distances between probabilistic and quantum distributions
• Deciding probabilistic bisimilarity distance one for probabilistic automata
• Widening for Control-Flow
• Continuation passing semantics for membrane systems
• Equational presentations of functors and monads
• The complexity space of partial functions: a connection between complexity analysis and denotational semantics
• Supporting control definition in programming languages
• Process of petri nets extension
• A quasi-metric computational model from modular functions on monoids
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• A relational realizability model for higher-order stateful ADTs
• scientific article; zbMATH DE number 1497789 (Why is no real title available?)
• Bisimulation for probabilistic transition systems: a coalgebraic approach
• Extending set functors to generalised metric spaces
• Deciding probabilistic bisimilarity distance one for probabilistic automata
• Proceedings of the first workshop on control operators and their semantics, COS 2013, Eindhoven, The Netherlands, June 24--25, 2013
• Distances between states and between predicates
• The complexity of computing a bisimilarity pseudometric on probabilistic automata
• Denotational semantics for programming languages, balanced quasi-metrics and fixed points
• On the structure of the space of complexity partial functions
• Topological models for higher order control flow
• Variants of spiking neural P systems and their operational semantics in Haskell
• Spiking neural P systems and their semantics in Haskell
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• Drawing with distance
• Stone coalgebras
• Process algebra and constraint programming for modeling interactions in MAS

This page was built for publication:

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