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.
A logic of efficient and optimal designs / G. Primiero. - In: JOURNAL OF LOGIC AND COMPUTATION. - ISSN 0955-792X. - 29:6(2019 Oct), pp. 947-968. [10.1093/logcom/exz014]
A logic of efficient and optimal designs
G. Primiero
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.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
design.pdf
Open Access dal 02/10/2020
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
365.72 kB
Formato
Adobe PDF
|
365.72 kB | Adobe PDF | Visualizza/Apri |
|
exz014.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
1.21 MB
Formato
Adobe PDF
|
1.21 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
