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.

• Type: Journal
• Year: 2010
• Where: FUIN
• Authors: Michele Pagani, Simona Ronchi Della Rocca
• Keywords: Characterization, FUIN 2010, Logical Characterization, Modelling Resource Consumption