| |
| 2006 | ||
|---|---|---|
| 6 | EE | Yoshinao Isobe, Markus Roggenbach: A Complete Axiomatic Semantics for the CSP Stable-Failures Model. CONCUR 2006: 158-172 |
| 2005 | ||
| 5 | EE | Yoshinao Isobe, Markus Roggenbach: A Generic Theorem Prover of CSP Refinement. TACAS 2005: 108-123 |
| 2000 | ||
| 4 | EE | Yoshinao Isobe, Kazuhito Ohmaki: A process logic for distributed system synthesis . APSEC 2000: 62-69 |
| 1998 | ||
| 3 | EE | Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki: Eventuality in LOTOS with a Disjunction Operator. ASIAN 1998: 263-281 |
| 1996 | ||
| 2 | Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki: Approximative Analysis by Process Algebra with Graded Spatial Actions. AMAST 1996: 336-350 | |
| 1995 | ||
| 1 | Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki: A Calculus of Countable Broadcasting Systems. AMAST 1995: 489-503 | |
| 1 | Kazuhito Ohmaki | [1] [2] [3] [4] |
| 2 | Markus Roggenbach | [5] [6] |
| 3 | Yutaka Sato | [1] [2] [3] |