Search the dblp DataBase

Publications of Author

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