scientific article; zbMATH DE number 2080037

MaRDI QIDQ4472224zbMATH OpenFDO

Authors Daniel Jackson

Publication date 4 August 2004

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 2013571
• scientific article; zbMATH DE number 1633145
• Towards a small model theorem for data independent systems in Alloy
• scientific article; zbMATH DE number 2079999
• On the Use of Alloy to Analyze Graph Transformation Systems

Cited in

(5)

• Alloy
• Towards a small model theorem for data independent systems in Alloy
• scientific article; zbMATH DE number 2013571 (Why is no real title available?)
• scientific article; zbMATH DE number 2090140 (Why is no real title available?)
• Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API

Describes a project that uses

Uses Software

• Uppaal
• Chaff
• BerkMin
• CMC

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472224)