Profiles

Fabrizio Montesi

Professor of Computer Science, University of Southern Denmark

Verified email at imada.sdu.dk

Cited by 4526

Programming Languages Choreographic Programming Concurrency Theory Microservices Session Types

Marco Carbone

Associate Professor, IT University of Copenhagen

Verified email at itu.dk

Cited by 4463

Theory of Concurrency Behavioural Types Choreography Session Types Web Services

Ilaria Castellani

Researcher in Theoretical Computer Science, INRIA, France

Verified email at inria.fr

Cited by 2975

Concurrency theory Secure information flow Session types

Raymond Hu

Queen Mary University of London

Verified email at qmul.ac.uk

Cited by 1840

distributed programming programming languages type systems session types

Nicholas Ng

Monzo

Verified email at monzo.com

Cited by 1120

Session Types Concurrency Programming Languages Parallel Computing

Tzu-chun Chen

Postdoc of Computer Science, TU Darmstadt, Germany

Verified email at dsp.tu-darmstadt.de

Cited by 635

Programming language type systems session types

Fangyi Zhou

Amazon

Verified email at amazon.com

Cited by 148

Programming Languages Session Types

Ryan Kavanagh

Université du Québec à Montréal (UQAM)

Verified email at uqam.ca

Cited by 96

Semantics of Programming Languages Session Types

Nicolas Lagaillardie

Doctorant

Verified email at ic.ac.uk

Cited by 89

Session types

Minas Charalambides

University of Illinois at Urbana-Champaign

Verified email at illinois.edu

Cited by 86

session types parallel computing database systems

1 - 10