Search for persons
X
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
1
A Complete Inference System for Skip-free Guarded Kleene Al..:
, In:
?
Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science ,
2
Completeness and the Finite Model Property for Kleene Algeb..:
, In:
?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
4
Leapfrog: certified equivalence for protocol parsers:
, In:
?
Coalgebraic Methods in Computer Science; Lecture Notes in Computer Science ,
5
A Categorical Framework for Learning Generalised Tree Autom..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
6
Concurrent NetKAT: Modeling and analyzing stateful, concurr..:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
8
Learning Pomset Automata:
, In:
?
Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures ,
9
Concurrent Kleene Algebra with Observations: From Hypothese..:
, In:
?
Lecture Notes in Computer Science; Mathematics of Program Construction ,
14
Completeness and Incompleteness of Synchronous Kleene Algeb..:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
15