88 citations · 339 across the 67 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.LO2014★ 3 cited
Proceedings of the 11th workshop on Quantum Physics and Logic
Bob Coecke, Ichiro Hasuo, Prakash Panangaden
This volume contains the proceedings of the 11th International Workshop on Quantum Physics and Logic (QPL 2014), which was held from the 4th to the 6th of June, 2014, at Kyoto Univ…
cs.LO2014
Near-Optimal Scheduling for LTL with Future Discounting
Shota Nakagawa, Ichiro Hasuo
We study the search problem for optimal schedulers for the linear temporal logic (LTL) with future discounting. The logic, introduced by Almagor, Boker and Kupferman, is a quantita…
cs.LO2014★ 1 cited
The Geometry of Synchronization (Long Version)
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo +1
We graft synchronization onto Girard's Geometry of Interaction in its most concrete form, namely token machines. This is realized by introducing proof-nets for SMLL, an extension o…