Assel Altayeva and Equivalence Via Multiparty - Free people check

(1 - 7 from 7

)

Service Equivalence via Multiparty Session Type Isomorphisms

arxiv.org

by A Altayeva · — Service Equivalence via Multiparty Session Type Isomorphisms. Authors:Assel Altayeva (Imperial College London), Nobuko Yoshida (Imperial College ... › cs

Service Equivalence via Multiparty Session Type Isomorphisms

core.ac.uk

By Assel Altayeva and Nobuko Yoshida. Get PDF (0 MB) Cite . BibTex; Full citation; Abstract. This paper addresses a problem found within the construction of Service Oriented Architecture: the …

From Data Types to Session Types: A Basis for Concurrency and …

groups.inf.ed.ac.uk

Assel Altayeva: Service Equivalence via Multiparty Session Type Isomorphisms. This work addresses a problem found in the construction of Service Oriented Architecture: the adaptation …

Service Equivalence via Multiparty Session Type Isomorphisms

groups.inf.ed.ac.uk

Assel Altayeva Imperial College London mrg.doc.ic.ac.uk Type isomorphisms in Functional Programming The notion of conversion, or adaptation without loss of …

All web results to the name "Assel Altayeva"

Publications

border-patrol.github.io

Assel Altayeva and Nobuko Yoshida, “Service Equivalence via Multiparty Session Type Isomorphisms,” in Proceedings Programming Language Approaches to ... › publications

Service Equivalence via Multiparty Session Type Isomorphisms

www.semanticscholar.org

2 Apr — ... Type Isomorphisms}, author={Assel Altayeva and Nobuko Yoshida}, journal={CoRR}, year={2019}, volume={abs }, pages={1-11} }. › paper › Service-Equiva...

Service Equivalence via Multiparty Session Type Isomorphisms

cgi.cse.unsw.edu.au

2 Apr — Assel Altayeva (Imperial College London), Nobuko Yoshida (Imperial College London). This paper addresses a problem found within the ... › paper › PLACES2019

Related search requests for Assel Altayeva

Iman Poernomo

People
Forename "Assel" (53)
Name "Altayeva" (1)

sorted by relevance / date

Advanced Search

Search name: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Assel Altayeva and Equivalence Via Multiparty Free People Check