Concurrent and Reactive Constraint ProgrammingMaurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia2010PDF257 KBEN
Automata, Languages And Programming: 32nd International Colloquim, Icalp 2005, Lisbon, Portugal, July 11-15, 2005, ProceedingsLuis Caires, Guiseppe F. Italiano & 3 more2005PDF91 MBEN
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications SecurityRomanelli, Marco & 6 more2020PDF5.1 MBEN