Types and Effects for Resource Usage Analysis
From MaRDI portal
Publication:5758038
DOI10.1007/978-3-540-71389-0_4zbMath1195.68027OpenAlexW1513890874MaRDI QIDQ5758038
Massimo Bartoletti, Roberto Zunino, Gian-Luigi Ferrari, Pierpaolo Degano
Publication date: 7 September 2007
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71389-0_4
Related Items
Safe Adaptation Through Implicit Effect Coercion, Nominal Automata for Resource Usage Control, Regular and context-free nominal traces, Hard Life with Weak Binders, CaSPiS: a calculus of sessions, pipelines and services, Pierpaolo Degano