Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Leandro Rafael Gomes"'
Autor:
Leandro Rafael Gomes
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030388072
DaLí
DaLí
Dynamic logic is a powerful framework for reasoning about imperative programs. An extension with a concurrent operator, called concurrent propositional dynamic logic (CPDL) [20], was introduced to formalise programs running in parallel. In a differen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3439a89964fa7b26608daccbb6e403cc
https://doi.org/10.1007/978-3-030-38808-9_14
https://doi.org/10.1007/978-3-030-38808-9_14
Autor:
HASLab INESC TEC,Universidade do Minho,R. da Universidade,4710-057 Braga,Portugal, CIDMA,Universidade de Aveiro,Campus Universitario de Santiago,3810-193 Aveiro,Portugal, Luís Soares Barbosa, Madeira,A, Leandro Rafael Gomes, Universidade do Minho,R. da Universidade,4710-057 Braga,Portugal & Quantum Software Engineering Group,INL
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Scientific Annals of Computer Science, Vol XXIX, Iss 2, Pp 141-184 (2019)
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Scientific Annals of Computer Science, Vol XXIX, Iss 2, Pp 141-184 (2019)
Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ad908c52d060349993e9a1a25a21413