A logic of efficient and optimal designs
Giuseppe Primiero · Journal of Logic and Computation · 2019
Abstract Logics of design have been formulated until recently to offer systematic treatments of the way systems express the relation between resources, processes and their outputs. We present a logic of systems design which explicitly formalizes this relation as a decidable checking problem on resource access and define computable efficiency and optimality properties.