Search results for: Ichiro Hasuo
New Generation Computing > 2017 > 35 > 3 > 271-305
Annals of Pure and Applied Logic > 2017 > 168 > 2 > 404-469
Information and Computation > 2017 > 252 > C > 110-137
Lecture Notes in Computer Science > Programming Languages and Systems > Process Algebraic Techniques > 379-394
Lecture Notes in Computer Science > CONCUR 2006 – Concurrency Theory > Bisimulation and Simulation > 406-420
Lecture Notes in Computer Science > LATIN 2006: Theoretical Informatics > Regular Contributions > 130-141
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Theory of Coalgebra > 64-80
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 222-236
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 213-231
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B6: Hybrid Systems > 392-403
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 246-260
Theoretical Computer Science > 2015 > 604 > Complete > 2-29
Electronic Notes in Theoretical Computer Science > 2013 > 298 > Complete > 197-214
Electronic Notes in Theoretical Computer Science > 2010 > 265 > Complete > 351-368