Decidable Fragments of a Higher Order Calculus with Locations

Mikkel Bundgaard, Jens Christian Godskesen, Hans Huttel, Bjørn Haagensen

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

Original language	English
Journal	Electronical Notes in Theoretical Computer Science
Pages (from-to)	113-138
Number of pages	15
ISSN	1571-0661
DOIs	https://doi.org/10.1016/j.entcs.2009.06.016
Publication status	Published - 2009
Event	International Workshop on Expressiveness in Concurrency, (EXPRESS) - Toronto, Canada Duration: 23 Aug 2008 → … Conference number: 15

Workshop	International Workshop on Expressiveness in Concurrency, (EXPRESS)
Number	15
Country/Territory	Canada
City	Toronto
Period	23/08/2008 → …

Access to Document

@inproceedings{fe034910830b11ddb116000ea68e967b,

title = "Decidable Fragments of a Higher Order Calculus with Locations",

author = "Mikkel Bundgaard and Godskesen, {Jens Christian} and Hans Huttel and Bj{\o}rn Haagensen",

note = "Volumne: 242; International Workshop on Expressiveness in Concurrency, (EXPRESS) ; Conference date: 23-08-2008",

year = "2009",

doi = "10.1016/j.entcs.2009.06.016",

language = "English",

pages = "113--138",

journal = "Electronical Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - GEN

T1 - Decidable Fragments of a Higher Order Calculus with Locations

AU - Bundgaard, Mikkel

AU - Godskesen, Jens Christian

AU - Huttel, Hans

AU - Haagensen, Bjørn

N1 - Conference code: 15

PY - 2009

Y1 - 2009

U2 - 10.1016/j.entcs.2009.06.016

DO - 10.1016/j.entcs.2009.06.016

M3 - Conference article

SN - 1571-0661

SP - 113

EP - 138

JO - Electronical Notes in Theoretical Computer Science

JF - Electronical Notes in Theoretical Computer Science

T2 - International Workshop on Expressiveness in Concurrency, (EXPRESS)

Y2 - 23 August 2008

ER -