On behavioural abstraction and behavioural satisfaction in higher-order logic

DOI10.1007/3-540-59293-8_199zbMath1496.68190OpenAlexW1694382542MaRDI QIDQ5096735

Donald Sannella, Martin Hofmann

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_199

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Behavioural satisfaction and equivalence in concrete model categories

Cites Work

• On behavioural abstraction and behavioural satisfaction in higher-order logic
• On observational equivalence and algebraic specification
• Two impossibility theorems on behaviour specification of abstract data types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On behavioural abstraction and behavioural satisfaction in higher-order logic