Sign in
Alex C. Keizer
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 3
Top Topics
Communication Protocols
Context Free Languages
Attribute Grammars
Parse Tree
Top Venues
CoRR
ESOP
ACM Trans. Program. Lang. Syst.
</>
Publications
</>
Alex C. Keizer
,
Henning Basold
,
Jorge A. Pérez
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types.
ACM Trans. Program. Lang. Syst.
44 (3) (2022)
Alex C. Keizer
,
Henning Basold
,
Jorge A. Pérez
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.
ESOP
(2021)
Alex C. Keizer
,
Henning Basold
,
Jorge A. Pérez
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.
CoRR
(2020)