scientific article; zbMATH DE number 5022045
From MaRDI portal
Publication:5291078
zbMath1100.68063MaRDI QIDQ5291078
Publication date: 9 May 2006
Full work available at URL: http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-5074-4
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Automated flaw detection in algebraic specifications ⋮ Automating Algebraic Specifications of Non-freely Generated Data Types ⋮ Proving linearizability with temporal logic ⋮ Completeness of fair ASM refinement ⋮ Formal Fault Tree Analysis - Practical Experiences ⋮ Actions with Failures in Interval Temporal Logic ⋮ Fifty years of Hoare's logic ⋮ Bounded Relational Analysis of Free Data Types