Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

Jens Christian Godskesen; Hans Huttel; Morten Kühnrich

Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

Jens Christian Godskesen, Hans Huttel, Morten Kühnrich

Executive Management

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

Original language	English
Journal	Electronical Notes in Theoretical Computer Science
Issue number	2
Pages (from-to)	77-93
ISSN	1571-0661
Publication status	Published - 2009
Event	7th international Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008), associated to ICALP08 - Reykjavik, Iceland Duration: 13 Jul 2008 → … Conference number: 7

Workshop

Workshop	7th international Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008), associated to ICALP08
Number	7
Country/Territory	Iceland
City	Reykjavik
Period	13/07/2008 → …

Cite this

@inproceedings{c217dbd0d01f11dda259000ea68e967b,

title = "Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks",

author = "Godskesen, \{Jens Christian\} and Hans Huttel and Morten K{\"u}hnrich",

note = "Technical report, men ogs{\aa} peer reviewed article Technical Report ITI-08-05 udgivet af Dept. of Computer Science University of M{\'a}laga Volumne: 229; 7th international Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008), associated to ICALP08 ; Conference date: 13-07-2008",

year = "2009",

language = "English",

pages = "77--93",

journal = "Electronical Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "2",

}

TY - GEN

T1 - Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks

AU - Godskesen, Jens Christian

AU - Huttel, Hans

AU - Kühnrich, Morten

N1 - Conference code: 7

PY - 2009

Y1 - 2009

M3 - Conference article

SN - 1571-0661

SP - 77

EP - 93

JO - Electronical Notes in Theoretical Computer Science

JF - Electronical Notes in Theoretical Computer Science

IS - 2

T2 - 7th international Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2008), associated to ICALP08

Y2 - 13 July 2008

ER -