Andi Bejleri is an author at Imperial College London specializing in formal methods, computer science, and distributed systems.
Top concepts
EngineeringFormal MethodsComputer ScienceDistributed SystemsFormal VerificationProtocolsVerificationProgram AnalysisSoftware AnalysisSystems Engineering
Publications per year
2009–2012
2
2
Parameterised Multiparty Session Types
Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri et al. · Logical Methods in Computer Science · 2012 · 66 citations · Full text
Rows per page
1–2 of 2