Institutions for behavioural dynamic logic with binders
From MaRDI portal
Publication:1675787
DOI10.1007/978-3-319-67729-3_2zbMath1444.68119OpenAlexW2753958933MaRDI QIDQ1675787
Rolf Hennicker, Alexandre Madeira
Publication date: 3 November 2017
Full work available at URL: http://repositorio.inesctec.pt/handle/123456789/6301
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)
Related Items (1)
This page was built for publication: Institutions for behavioural dynamic logic with binders
