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

DOI10.1007/978-3-030-38808-9_2zbMATH Open1496.03133OpenAlexW2999954716MaRDI QIDQ777876FDOQ777876

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

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

Mathematics Subject Classification ID

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

Cited In (4)

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

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)