Titel

Merkliste
1 Ergebnisse

Foundations of Session Types and Behavioural Contracts:

Huttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco...
Huttel , H , Lanese , I , Vasconcelos , V , Caires , L , Carbone , M , Danielou , P-M , Mostrous , D , Padovani , L , Rabara , A , Tuosto , E , Vieira , H T & Zavattaro , G 2016 , ' Foundations of Session Types and Behavioural Contracts ' , A C M Computing Surveys , vol. 49 , no. 1 , 3 , pp. 1 .. , 2016

Link: https://pure.itu.dk/portal/en/publications/foundations..

RT Journal
T1 <Title>Foundations of Session Types and Behavioural Contracts</Title>

UL https://suche.suub.uni-bremen.de/peid=base-ftitucopenhagenp:oai:pure.atira.dk:publications_00497cf7-6363-4287-8c78-1294747afa18&Exemplar=1&LAN=DE
				
A1 Huttel, Hans
A1 Lanese, Ivan
A1 Vasconcelos, Vasco
A1 Caires, Luis
A1 Carbone, Marco
A1 Danielou, Pierre-Malo
A1 Mostrous, Dimitris
A1 Padovani, Luca
A1 Rabara, Antonio
A1 Tuosto, Emilio
A1 Vieira, Hugo Torres
A1 Zavattaro, Gianluigi
YR 2016
JF Huttel , H , Lanese , I , Vasconcelos , V , Caires , L , Carbone , M , Danielou , P-M , Mostrous , D , Padovani , L , Rabara , A , Tuosto , E , Vieira , H T & Zavattaro , G 2016 , ' Foundations of Session Types and Behavioural Contracts ' , A C M Computing Surveys , vol. 49 , no. 1 , 3 , pp. 1 .
LK http://dx.doi.org/https://pure.itu.dk/portal/en/publications/foundations-of-session-types-and-behavioural-contracts(00497cf7-6363-4287-8c78-1294747afa18).html
DO https://pure.itu.dk/portal/en/publications/foundations-of-session-types-and-behavioural-contracts(00497cf7-6363-4287-8c78-1294747afa18).html
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)