Types for resources in psi-calculi

Bidragets oversatte titel	Typer for resurser i Ψ-kalkyler
Originalsprog	Engelsk
Titel	TGC 2013 : 8th International Symposium on Trustworthy Global Computing (TGC 2013)
Redaktører	Martín Abadi, Alberto Lluch Lafuente
Vol/bind	8358
Forlag	Springer Publishing Company
Publikationsdato	2013
Sider	83-102
ISBN (Elektronisk)	978-3-319-05118-5
Status	Udgivet - 2013
Begivenhed	8th International Symposium on Trustworthy Global Computing - Buenos Aires, Argentina Varighed: 30 aug. 2013 → 31 aug. 2013 Konferencens nummer: 8th

Konference

Konference	8th International Symposium on Trustworthy Global Computing
Nummer	8th
Land/Område	Argentina
By	Buenos Aires
Periode	30/08/2013 → 31/08/2013

Adgang til dokumentet

• http://www.springer.com/computer/security+and+cryptology/book/978-3-319-05118-5

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Projekter

• 1 Afsluttet

Projekter pr. år

• BETTY: Behavioural Types for Reliable Large-Scale Software Systems

  Hüttel, H.

  01/10/2012 → 01/11/2015

  Projekter: Projekt › Forskning

Citationsformater

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Hüttel, H. (2013). Types for resources in psi-calculi. I M. Abadi, & A. Lluch Lafuente (red.), TGC 2013: 8th International Symposium on Trustworthy Global Computing (TGC 2013) (Bind 8358, s. 83-102). Springer Publishing Company. http://www.springer.com/computer/security+and+cryptology/book/978-3-319-05118-5

Hüttel, Hans. / Types for resources in psi-calculi. TGC 2013: 8th International Symposium on Trustworthy Global Computing (TGC 2013). red. / Martín Abadi ; Alberto Lluch Lafuente. Bind 8358 Springer Publishing Company, 2013. s. 83-102

@inproceedings{9afd59e44e7247b689df9a6095520d9d,

title = "Types for resources in psi-calculi",

author = "Hans H{\"u}ttel",

year = "2013",

language = "English",

volume = "8358",

pages = "83--102",

editor = "Mart{\'i}n Abadi and {Lluch Lafuente}, Alberto",

booktitle = "TGC 2013",

publisher = "Springer Publishing Company",

address = "United States",

note = "8th International Symposium on Trustworthy Global Computing, TCG 2013 ; Conference date: 30-08-2013 Through 31-08-2013",

}

Hüttel, H 2013, Types for resources in psi-calculi. i M Abadi & A Lluch Lafuente (red), TGC 2013: 8th International Symposium on Trustworthy Global Computing (TGC 2013). bind 8358, Springer Publishing Company, s. 83-102, 8th International Symposium on Trustworthy Global Computing, Buenos Aires, Argentina, 30/08/2013. <http://www.springer.com/computer/security+and+cryptology/book/978-3-319-05118-5>

Types for resources in psi-calculi. / Hüttel, Hans.
TGC 2013: 8th International Symposium on Trustworthy Global Computing (TGC 2013). red. / Martín Abadi; Alberto Lluch Lafuente. Bind 8358 Springer Publishing Company, 2013. s. 83-102.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

TY - GEN

T1 - Types for resources in psi-calculi

AU - Hüttel, Hans

N1 - Conference code: 8th

PY - 2013

Y1 - 2013

M3 - Article in proceeding

VL - 8358

SP - 83

EP - 102

BT - TGC 2013

A2 - Abadi, Martín

A2 - Lluch Lafuente, Alberto

PB - Springer Publishing Company

T2 - 8th International Symposium on Trustworthy Global Computing

Y2 - 30 August 2013 through 31 August 2013

ER -

Hüttel H. Types for resources in psi-calculi. I Abadi M, Lluch Lafuente A, red., TGC 2013: 8th International Symposium on Trustworthy Global Computing (TGC 2013). Bind 8358. Springer Publishing Company. 2013. s. 83-102