scientific article; zbMATH DE number 400814
From MaRDI portal
Publication:4201911
zbMath0828.68094MaRDI QIDQ4201911
David Anthony Watt, Muffy Calder
Publication date: 29 August 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Related Items (8)
Semantics of plan revision in intelligent agents ⋮ A UTP approach for rTiMo ⋮ Building Specifications in the Event-B Institution ⋮ Equivalence of formal semantics definition methods ⋮ Denotational semantics and its algebraic derivation for an event-driven system-level language ⋮ Intensional computation with higher-order functions ⋮ Predicate transformers and higher-order programs ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics
This page was built for publication:
