Models for the substitution axiom of UNITY logic

DOI10.1016/0020-0190(93)90141-UzbMath0787.68015OpenAlexW2069870028WikidataQ114685333 ScholiaQ114685333MaRDI QIDQ1313738

Georg Reichwein, José Luiz Fiadeiro

Publication date: 24 February 1994

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(93)90141-u

zbMATH Keywords

modelsUNITYsubstitution axiomprogram design languageprogram modularity

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Related Items (1)

Pragmatic and semantic aspects of a module concept for graph transformation systems

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Eliminating the substitution axiom from UNITY logic
• Logics of Modal Terms for Systems Specification

This page was built for publication: Models for the substitution axiom of UNITY logic