Decidable Fragments of a Higher Order Calculus with Locations
- Mikkel Bundgaard,
- ,
- Hans Huttel,
- Bjørn Haagensen
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-review
Open access
Publication Information
Output type
Research Output:
Journal Article or Conference Article in Journal
Conference article
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 113-138 (15 pages)Journal (Volume, Issue Number)
Electronic Notes in Theoretical Computer SciencePublication milestones
- Published - 2009
Publication status
Published - 2009
ISSN
1571-0661Publication IDs
- Scopus: 67649635315
Publication metrics
PlumX, opens in new tab
Captures
3
Citations
3
Access to documents
Related Event
Title
International Workshop on Expressiveness in Concurrency, (EXPRESS)
Event type
WorkshopDate
23/08/2008 Location
TorontoCanada