scientific article; zbMATH DE number 1307655
From MaRDI portal
Publication:4252989
zbMath0930.68084MaRDI QIDQ4252989
Publication date: 23 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (4)
Causal message sequence charts ⋮ Quantitative Analysis of Communication Scenarios ⋮ Properties of a predicate transformer of the VRS system ⋮ Verification of heterogeneous multi-agent system using MCMAS
This page was built for publication:
