Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Jana Wagemaker"'
Autor:
Damien Pous, Jana Wagemaker
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)
We prove two completeness results for Kleene algebra with tests and a top element, with respect to guarded string languages and binary relations. While the equational theories of those two classes of models coincide over the signature of Kleene algeb
Externí odkaz:
https://doaj.org/article/27308bc567af4c1980a5de46bd980b10
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 2 (2024)
In the literature on Kleene algebra, a number of variants have been proposed which impose additional structure specified by a theory, such as Kleene algebra with tests (KAT) and the recent Kleene algebra with observations (KAO), or make specific assu
Externí odkaz:
https://doaj.org/article/1437bacadd1a4ffc8b4c03e4a25b6b73
Publikováno v:
Programming Languages and Systems ISBN: 9783030993351
Proceedings of ESOP 2022
Proceedings of ESOP 2022
We introduce Concurrent (), an extension of with operators for specifying and reasoning about concurrency in scenarios where multiple packets interact through state. We provide a model of the language based on partially-ordered multisets (pomsets), w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8124ce9f91df05bb3f8df8370fc403f1
https://doi.org/10.1007/978-3-030-99336-8_21
https://doi.org/10.1007/978-3-030-99336-8_21
Publikováno v:
Relational and Algebraic Methods in Computer Science ISBN: 9783030887001
RAMiCS
19th International Conference on Relational and Algebraic Methods in Computer Science ( RAMICS 2021 )
19th International Conference on Relational and Algebraic Methods in Computer Science ( RAMICS 2021 ), Nov 2021, Luminy, France. ⟨10.1007/978-3-030-88701-8_23⟩
Fahrenberg, U. (ed.), RAMiCS 2021: Relational and Algebraic Methods in Computer Science, 19th International Conference, Marseille, France, November 2–5, 2021, Proceedings, pp. 378-395
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Relational and Algebraic Methods in Computer Science
RAMiCS
19th International Conference on Relational and Algebraic Methods in Computer Science ( RAMICS 2021 )
19th International Conference on Relational and Algebraic Methods in Computer Science ( RAMICS 2021 ), Nov 2021, Luminy, France. ⟨10.1007/978-3-030-88701-8_23⟩
Fahrenberg, U. (ed.), RAMiCS 2021: Relational and Algebraic Methods in Computer Science, 19th International Conference, Marseille, France, November 2–5, 2021, Proceedings, pp. 378-395
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Relational and Algebraic Methods in Computer Science
In the literature on Kleene algebra, a number of variants have been proposed which impose additional structure specified by a theory, such as Kleene algebra with tests (KAT) and the recent Kleene algebra with observations (KAO), or make specific assu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e8760f1580854fe38765e70327f489c5
https://doi.org/10.1007/978-3-030-88701-8_23
https://doi.org/10.1007/978-3-030-88701-8_23
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030452308
FoSSaCS
FoSSaCS
Concurrent Kleene Algebra (CKA) extends basic Kleene algebra with a parallel composition operator, which enables reasoning about concurrent programs. However, CKA fundamentally missestests, which are needed to model standard programming constructs su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::80886bc38711cfa7745ed2f2d6e9bbec
https://doi.org/10.1007/978-3-030-45231-5_20
https://doi.org/10.1007/978-3-030-45231-5_20