ITU

Decidable Fragments of a Higher Order Calculus with Locations

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

View graph of relations

Original languageEnglish
JournalElectronical Notes in Theoretical Computer Science
Pages (from-to)113-138
Number of pages15
ISSN1571-0661
DOIs
Publication statusPublished - 2009
EventInternational Workshop on Expressiveness in Concurrency, (EXPRESS) - Toronto, Canada
Duration: 23 Aug 2008 → …
Conference number: 15

Workshop

WorkshopInternational Workshop on Expressiveness in Concurrency, (EXPRESS)
Number15
CountryCanada
CityToronto
Period23/08/2008 → …

ID: 264399