On behavioural abstraction and behavioural satisfaction in higher-order logic

DOI10.1007/3-540-59293-8_199MaRDI QIDQ5096735zbMATH OpenOpenAlexFDO

Authors Martin Hofmann, Donald Sannella

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

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

Recommendations

• On behavioural abstraction and behavioural satisfaction in higher-order logic
• Behavioural and abstractor specifications revisited
• scientific article; zbMATH DE number 1761887
• Behavioural and abstractor specifications
• scientific article; zbMATH DE number 785047

Cites work

• scientific article; zbMATH DE number 3819086 (Why is no real title available?)
• scientific article; zbMATH DE number 3911679 (Why is no real title available?)
• scientific article; zbMATH DE number 4088907 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 683361 (Why is no real title available?)
• scientific article; zbMATH DE number 1761887 (Why is no real title available?)
• scientific article; zbMATH DE number 3999267 (Why is no real title available?)
• scientific article; zbMATH DE number 4113952 (Why is no real title available?)
• scientific article; zbMATH DE number 1418817 (Why is no real title available?)
• 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

Cited in

(5)

• Behavioural and abstractor specifications revisited
• Behavioural equivalence and indistinguishability in higher-order typed languages.
• scientific article; zbMATH DE number 1863386 (Why is no real title available?)
• Quantitative Behavioural Reasoning for Higher-order Effectful Programs
• Behavioural satisfaction and equivalence in concrete model categories

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

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