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

DOI10.1007/978-3-030-38808-9_2zbMath1496.03133OpenAlexW2999954716MaRDI QIDQ777876

Alexandre Madeira, Felix Mindt, Rolf Hennicker, Alexander Knapp

Publication date: 8 July 2020

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

Mathematics Subject Classification ID

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

Related Items (1)

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