6 citations · 15 across the 12 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions
Filippo Bonchi, Davide Grohmann, Paola Spoletini +1
This volume contains the proceedings of the 2nd Workshop on Interaction and Concurrency Experience (ICE'09). The workshop was held in Bologna, Italy on 31th of August 2009, as a sa…
cs.LO2009★ 6 cited
On Relaxing Metric Information in Linear Temporal Logic
Carlo A. Furia, Paola Spoletini
Metric LTL formulas rely on the next operator to encode time distances, whereas qualitative LTL formulas use only the until operator. This paper shows how to transform any metric L…