 | 2009 |
|---|
| 8 |       | D. Gift Samuel,
Markus Roggenbach,
Yoshinao Isobe:
The Stable Revivals Model in CSP-Prover.
Electr. Notes Theor. Comput. Sci. 250(2): 119-134 (2009) |
| 7 | | Liam O'Reilly,
Markus Roggenbach,
Yoshinao Isobe:
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement.
Electr. Notes Theor. Comput. Sci. 250(2): 69-84 (2009) |
| 2006 |
|---|
| 6 | | Yoshinao Isobe,
Markus Roggenbach:
A Complete Axiomatic Semantics for the CSP Stable-Failures Model.
CONCUR 2006: 158-172 |
| 2005 |
|---|
| 5 | | Yoshinao Isobe,
Markus Roggenbach:
A Generic Theorem Prover of CSP Refinement.
TACAS 2005: 108-123 |
| 2000 |
|---|
| 4 | | Yoshinao Isobe,
Kazuhito Ohmaki:
A process logic for distributed system synthesis .
APSEC 2000: 62-69 |
| 1998 |
|---|
| 3 | | 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 |
