Synthesis from Component Libraries with Costs
From MaRDI portal
Publication:3190115
DOI10.1007/978-3-662-44584-6_12zbMath1417.68097MaRDI QIDQ3190115
Publication date: 15 September 2014
Published in: CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44584-6_12
91A80: Applications of game theory
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
91B32: Resource and cost allocation (including fair division, apportionment, etc.)
Related Items