E-LIB Suche - Ergebnisse für: Kappé, Tobias

1

A Complete Inference System for Skip-free Guarded Kleene Al..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Kappé, Tobias ; Schmid, Todd ; Silva, Alexandra - p. 309-336 , 2023

Link: https://doi.org/10.1007/..

2

Completeness and the Finite Model Property for Kleene Algeb..:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Kappé, Tobias - p. 158-175 , 2023

Link: https://doi.org/10.1007/..

3

Formal Abstractions for Packet Scheduling:

Mohan, Anshuman ; Liu, Yunhe ; Foster, Nate..
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1338-1362 , 2023

Link: https://doi.org/10.1145/..

4

Leapfrog: certified equivalence for protocol parsers:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Doenges, Ryan ; Kappé, Tobias ; Sarracino, John.. - p. 950-965 , 2022

Link: https://dl.acm.org/doi/1..

5

A Categorical Framework for Learning Generalised Tree Autom..:

, In: Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science,

Heerdt, Gerco van ; Kappé, Tobias ; Rot, Jurriaan.. - p. 67-87 , 2022

Link: https://doi.org/10.1007/..

6

Concurrent NetKAT: Modeling and analyzing stateful, concurr..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Wagemaker, Jana ; Foster, Nate ; Kappé, Tobias... - p. 575-602 , 2022

Link: https://doi.org/10.1007/..

7

Equivalence checking for weak bi-Kleene algebra:

Kappé, Tobias ; Brunet, Paul ; Luttik, Bas..
Logical Methods in Computer Science. 17, Issue 3 (2021) - p. , 2021

Link: https://doi.org/10.46298..

8

Learning Pomset Automata:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

van Heerdt, Gerco ; Kappé, Tobias ; Rot, Jurriaan. - p. 510-530 , 2021

Link: https://doi.org/10.1007/..

9

Concurrent Kleene Algebra with Observations: From Hypothese..:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Kappé, Tobias ; Brunet, Paul ; Silva, Alexandra.. - p. 381-400 , 2020

Link: https://doi.org/10.1007/..

10

Soft component automata: Composition, compilation, logic, a..:

Kappé, Tobias ; Lion, Benjamin ; Arbab, Farhad.
Science of Computer Programming. 183 (2019) - p. 102300 , 2019

Link: https://doi.org/10.1016/..

11

Guarded Kleene algebra with tests: verification of uninterp..:

Smolka, Steffen ; Foster, Nate ; Hsu, Justin...
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-28 , 2019

Link: https://doi.org/10.1145/..

12

Guarded Kleene algebra with tests: verification of uninterp..:

Smolka, Steffen ; Foster, Nate ; Hsu, Justin...
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-28 , 2019

Link: https://dl.acm.org/doi/1..

13

On series-parallel pomset languages: Rationality, context-f..:

Kappé, Tobias ; Brunet, Paul ; Luttik, Bas..
Journal of Logical and Algebraic Methods in Programming. 103 (2019) - p. 130-153 , 2019

Link: https://doi.org/10.1016/..

14

Completeness and Incompleteness of Synchronous Kleene Algeb..:

, In: Lecture Notes in Computer Science; Mathematics of Program Construction,

Wagemaker, Jana ; Bonsangue, Marcello ; Kappé, Tobias.. - p. 385-413 , 2019

Link: https://doi.org/10.1007/..

15

Concurrent Kleene Algebra: Free Model and Completeness:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Kappé, Tobias ; Brunet, Paul ; Silva, Alexandra. - p. 856-882 , 2018

Link: https://doi.org/10.1007/..