Decidable Fragments of a Higher Order Calculus with Locations
Under a Creative Commons license
open access
Keywords
Decidability
higher order process passing
locations
semantic finite control
Cited by (0)
- 1
Supported by grant no. 274-06-0415 and 2059-03-0031 from the Danish Research Council for Technology and Production and the IT University of Copenhagen (the CosmoBiz and BPL projects).
- 2
Supported by grant no. 272-05-0258 from the Danish Research Agency.
Copyright © 2009 Elsevier B.V.