Search results for: Yoshinobu Kawabe
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Synthesizing Agents Initially > 90-102
Lecture Notes in Computer Science > Programming Languages and Systems > Process Algebraic Techniques > 379-394
Theoretical Computer Science > 2010 > 411 > 22-24 > 2239-2259
Electronic Notes in Theoretical Computer Science > 2005 > 139 > 1 > 145-168