scientific article; zbMATH DE number 2079817

zbMath1043.68532MaRDI QIDQ4471919

Juergen Dingel

Publication date: 30 July 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1945/19450214.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Generalised rely-guarantee concurrency: an algebraic foundation ⋮ Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example ⋮ Balancing expressiveness in formal approaches to concurrency ⋮ Transfer Principles for Reasoning About Concurrent Programs

Uses Software

• Z/EVES

This page was built for publication: