scientific article; zbMATH DE number 2080037

zbMath1043.68520MaRDI QIDQ4472224

Daniel Jackson

Publication date: 4 August 2004

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items

Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API ⋮ Alloy

Uses Software

• Uppaal
• Chaff
• BerkMin
• CMC