E-LIB Suche - Ergebnisse für: Bejleri, Andi

1

Cooperative decoupled processes:

Bejleri, Andi ; Mezini, Mira ; Eugster, Patrick.
Software Quality Journal. 26 (2017) 3 - p. 1147-1183 , 2017

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

2

Cooperative decoupled processes: the e-calculus and lineari..:

, In: Proceedings of the 15th International Conference on Modularity,

Bejleri, Andi ; Mezini, Mira ; Eugster, Patrick - p. 82-93 , 2016

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

3

Cloudscape : language support to coordinate and control ..:

, In: Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11,

Bejleri, Andi ; Farrell, Andrew ; Goldsack, Patrick - p. 183-194 , 2011

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

4

Synchronous Multiparty Session Types:

Bejleri, Andi ; Yoshida, Nobuko
Electronic Notes in Theoretical Computer Science. 241 (2009) - p. 3-33 , 2009

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

5

Comprehensive Multiparty Session Types:

Bejleri, Andi ; Domnori, Elton ; Viering, Malte..
http://arxiv.org/abs/1902.00544. , 2019

Link: http://arxiv.org/abs/190..

6

A Co-contextual Type Checker for Featherweight Java (incl. ..:

Kuci, Edlira ; Erdweg, Sebastian ; Bračevac, Oliver..
http://arxiv.org/abs/1705.05828. , 2017

Link: http://arxiv.org/abs/170..

7

A Co-contextual Type Checker for Featherweight Java:

Kuci, Edlira ; Erdweg, Sebastian ; Bracevac, Oliver..
doi:10.4230/LIPIcs.ECOOP.2017.18. , 2017

Link: https://doi.org/10.4230/..

8

A Type Theory for Robust Failure Handling in Distributed Sy..:

Chen, Tzu-Chun ; Viering, Malte ; Bejleri, Andi..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-39570-8_7. , 2016

Link: https://hal.inria.fr/hal..

9

A Type Theory for Robust Failure Handling in Distributed Sy..:

Chen, Tzu-Chun ; Viering, Malte ; Bejleri, Andi..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-39570-8_7. , 2016

Link: https://hal.inria.fr/hal..

10

Parameterised Multiparty Session Types:

Denielou, Pierre-Malo ; Yoshida, Nobuko ; Bejleri, Andi.
http://arxiv.org/abs/1208.6483. , 2012

Link: http://arxiv.org/abs/120..

11

Session-Based Programming for Parallel Algorithms: Expressi..:

Bejleri, Andi ; Hu, Raymond ; Yoshida, Nobuko
http://arxiv.org/abs/1002.0933. , 2010

Link: http://arxiv.org/abs/100..

12

Parameterised Multiparty Session Types:

Pierre-Malo Denielou ; Nobuko Yoshida ; Andi Bejleri.
https://lmcs.episciences.org/924/pdf. , 2012

Link: https://doi.org/10.2168/..

13

Session-Based Programming for Parallel Algorithms: Expressi..:

Andi Bejleri ; Raymond Hu ; Nobuko Yoshida
http://arxiv.org/pdf/1002.0933v1. , 2010

Link: https://doi.org/10.4204/..