Type Systems for Bigraphs

Ebbe Elsborg, Thomas Hildebrandt, Davide Sangiorgi

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Original language	English
Book series	Lecture Notes in Computer Science
Issue number	5474
Pages (from-to)	126-140
ISSN	0302-9743
Publication status	Published - 2009
Event	Trustworthy Global Computing 2008 - Barcelona, Spain Duration: 3 Nov 2008 → 4 Nov 2008 Conference number: 4

Conference	Trustworthy Global Computing 2008
Number	4
Country/Territory	Spain
City	Barcelona
Period	03/11/2008 → 04/11/2008

Cite this

@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 = "null ; Conference date: 03-11-2008 Through 04-11-2008",

}