| 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 |
