Institutions for behavioural dynamic logic with binders

DOI10.1007/978-3-319-67729-3_2MaRDI QIDQ1675787zbMATH OpenOpenAlexFDO

Authors Rolf Hennicker, Alexandre Madeira

Publication date 3 November 2017

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Observational Semantics for Dynamic Logic with Binders
• Dynamic logic with binders and its application to the development of reactive systems
• Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions
• Algebra and Coalgebra in Computer Science
• scientific article; zbMATH DE number 2079667

Cited in

(6)

• A logic for the stepwise development of reactive systems
• Hybrid dynamic logic institutions for event/data-based systems
• Dynamic logic with binders and its application to the development of reactive systems
• scientific article; zbMATH DE number 1418816 (Why is no real title available?)
• Behavioural and abstractor specifications revisited
• Behavioural and abstractor specifications for a dynamic logic with binders and silent transitions

This page was built for publication: Institutions for behavioural dynamic logic with binders

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