ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Assel Altayeva

Registered user since Tue 2 Apr 2019

Name: Assel Altayeva

Country: United Kingdom

Affiliation: Imperial College London

Personal website: http://mrg.doc.ic.ac.uk/people/assel-altayeva/

Research interests: Type Theory, Distributed Systems, Concurrency, Session Types

Contributions

PLACES 2019 Service Equivalence via Multiparty Session Type Isomorphisms
ETAPS 2019 Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms
Show activities from other conferences

ETAPS 2019-profile
View general profile