scientific article
From MaRDI portal
Publication:3998266
zbMath0723.68067MaRDI QIDQ3998266
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Semantics in the theory of computing (68Q55)
Related Items (22)
Modular structural operational semantics ⋮ Executable structural operational semantics in Maude ⋮ Algebraic simulations ⋮ Building Specifications in the Event-B Institution ⋮ Equivalence of formal semantics definition methods ⋮ Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency ⋮ The rewriting logic semantics project ⋮ Computation semantics of the functional scientific workflow language Cuneiform ⋮ From Rewriting Logic, to Programming Language Semantics, to Program Verification ⋮ Non-terminating processes in the situation calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Using temporal logics to express search control knowledge for planning ⋮ Logical foundations for programming semantics ⋮ An introduction to metric semantics: Operational and denotational models for programming and specification languages ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics ⋮ A fixedpoint approach to implementing (Co)inductive definitions ⋮ Implicit Propagation in Structural Operational Semantics ⋮ An operational semantics for paragon: A design notation for parallel architectures ⋮ ConGolog, a concurrent programming language based on the situation calculus ⋮ Compositional verification of asynchronous concurrent systems using CADP ⋮ Process algebra and constraint programming for modeling interactions in MAS
This page was built for publication:
