Sciweavers

FUIN
2010

Linearity, Non-determinism and Solvability

13 years 9 months ago
Linearity, Non-determinism and Solvability
We study the notion of solvability in the resource calculus, an extension of the -calculus modelling resource consumption. Since this calculus is non-deterministic, two different notions of solvability arise, one optimistic (angelical, may) and one pessimistic (demoniac, must). We give a syntactical, operational and logical characterization for the may-solvability and only a partial characterization of the must-solvability. Finally, we discuss the open problem of a complete characterization of the must-solvability.
Michele Pagani, Simona Ronchi Della Rocca
Added 02 Mar 2011
Updated 02 Mar 2011
Type Journal
Year 2010
Where FUIN
Authors Michele Pagani, Simona Ronchi Della Rocca
Comments (0)