Andi Bejleri

14 papers A 1B 1C 2Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2019 J jnl
Comprehensive Multiparty Session Types.
CoRR
Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini
2019 J jnl
Comprehensive Multiparty Session Types.
Art Sci. Eng. Program.
Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini
2018 J jnl
Cooperative decoupled processes.
Softw. Qual. J.
Andi Bejleri, Mira Mezini, Patrick Eugster, Elton Domnori
2017 J jnl
A Co-contextual Type Checker for Featherweight Java (incl. Proofs).
CoRR
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
2017 A conf
A Co-contextual Type Checker for Featherweight Java .
ECOOP
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
2016 C conf
A Type Theory for Robust Failure Handling in Distributed Systems.
FORTE
Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster
2016 — conf
Cooperative decoupled processes: the e-calculus and linearity.
MODULARITY
Andi Bejleri, Mira Mezini, Patrick Eugster
2012 J jnl
Parameterised Multiparty Session Types
Log. Methods Comput. Sci.
Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu
2012 — —
Parameterised session types communication patterns : through the looking glass of session types.
Andi Bejleri
2011 — conf
Cloudscape: language support to coordinate and control distributed applications in the cloud.
SPLASH Workshops
Andi Bejleri, Andrew Farrell, Patrick Goldsack
2010 B conf
Parameterised Multiparty Session Types.
FoSSaCS
Nobuko Yoshida, Pierre-Malo Deniélou, Andi Bejleri, Raymond Hu
2010 C conf
Practical Parameterised Session Types.
ICFEM
Andi Bejleri
2009 — conf
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
PLACES
Andi Bejleri, Raymond Hu, Nobuko Yoshida
2008 — conf
Synchronous Multiparty Session Types.
PLACES@DisCoTec
Andi Bejleri, Nobuko Yoshida