scientific article; zbMATH DE number 1049043
From MaRDI portal
Publication:4348453
zbMath0941.68079MaRDI QIDQ4348453
Publication date: 17 August 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
operational and denotational semanticsimperative logic, object-oriented and functional languageslabeled transition system specificationsequential and concurrent languages
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
A note on distances between probabilistic and quantum distributions, Variants of spiking neural P systems and their operational semantics in Haskell, Spiking neural P systems and their semantics in Haskell, Unnamed Item, A relational realizability model for higher-order stateful ADTs, Continuation Passing Semantics for Membrane Systems, Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language, Unnamed Item, Equational presentations of functors and monads, The complexity space of partial functions: a connection between complexity analysis and denotational semantics, New perspectives of granular computing in relation geometry induced by pairings, The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata, Stone coalgebras, Fully abstract models and refinements as tools to compare agents in timed coordination languages, Unnamed Item, Denotational semantics for programming languages, balanced quasi-metrics and fixed points, On the structure of the space of complexity partial functions, Deciding probabilistic bisimilarity distance one for probabilistic automata, Extending set functors to generalised metric spaces, A quasi-metric computational model from modular functions on monoids, Structural induction and coinduction in a fibrational setting, Process of petri nets extension, ConGolog, a concurrent programming language based on the situation calculus, Bisimulation for probabilistic transition systems: A coalgebraic approach, Process algebra and constraint programming for modeling interactions in MAS
