Type Systems for Bigraphs

Ebbe Elsborg, Thomas Hildebrandt, Davide Sangiorgi

Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

Originalsprog	Engelsk
Bogserie	Lecture Notes in Computer Science
Udgave nummer	5474
Sider (fra-til)	126-140
ISSN	0302-9743
Status	Udgivet - 2009
Begivenhed	Trustworthy Global Computing 2008 - Barcelona, Spanien Varighed: 3 nov. 2008 → 4 nov. 2008 Konferencens nummer: 4

Konference	Trustworthy Global Computing 2008
Nummer	4
Land/Område	Spanien
By	Barcelona
Periode	03/11/2008 → 04/11/2008

Citationsformater

@inproceedings{d7ea5840e95e11dd8987000ea68e967b,

title = "Type Systems for Bigraphs",

author = "Ebbe Elsborg and Thomas Hildebrandt and Davide Sangiorgi",

year = "2009",

language = "English",

pages = "126--140",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer",

number = "5474",

note = "Trustworthy Global Computing 2008 ; Conference date: 03-11-2008 Through 04-11-2008",

}

TY - GEN

T1 - Type Systems for Bigraphs

AU - Elsborg, Ebbe

AU - Hildebrandt, Thomas

AU - Sangiorgi, Davide

N1 - Conference code: 4

PY - 2009

Y1 - 2009

M3 - Conference article

SN - 0302-9743

SP - 126

EP - 140

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

IS - 5474

T2 - Trustworthy Global Computing 2008

Y2 - 3 November 2008 through 4 November 2008

ER -