Goldilocks and the three specifications

DOI10.1007/3-540-56610-4_52zbMATH Open1497.68306OpenAlexW1591211118MaRDI QIDQ5044720FDOQ5044720

John Guttag

Publication date: 2 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_52

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Monitors
• The structure of the “THE”-multiprogramming system

Uses Software

• LARCH

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The golden section 👍 👎
• On pure Goldie dimensions 👍 👎
• Pure Goldie dimensions for exactly definable categories 👍 👎
• The magic of three 👍 👎

This page was built for publication: Goldilocks and the three specifications

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