16 citations · 28 across the 15 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 1 cited
Hybrid and Subexponential Linear Logics Technical Report
Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temp…
cs.LO2016
Slicing Concurrent Constraint Programs
Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte +1
Concurrent Constraint Programming (CCP) is a declarative model for concurrency where agents interact by telling and asking constraints (pieces of information) in a shared store. So…