8 citations · 11 across the 5 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
A Hybrid Linear Logic for Constrained Transition Systems
Joelle Despeyroux, Kaustuv Chaudhuri
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable…