Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions

DOI10.1007/978-3-030-38808-9_2MaRDI QIDQ777876zbMATH OpenOpenAlexFDO

Authors Rolf Hennicker, Alexander Knapp, Alexandre Madeira, Felix Mindt

Publication date 8 July 2020

Full work available at URL http://repositorio.inesctec.pt/handle/123456789/11850

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

Recommendations

• Behavioural and abstractor specifications revisited
• Observational Semantics for Dynamic Logic with Binders
• Institutions for behavioural dynamic logic with binders
• Behavioural and abstractor specifications
• Specification of abstract dynamic-data types: A temporal logic approach

Cited in

(4)

• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• Observational Semantics for Dynamic Logic with Binders
• Behavioural and abstractor specifications revisited
• Institutions for behavioural dynamic logic with binders

This page was built for publication: Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions

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