Вы здесь

Isobe Y.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Complete Axiomatic Semantics for the CSP Stable-Failures Model 2006 Isobe Y., Roggenbach M. Lecture Notes in Computer Science Lecture Notes in Computer Science 28.09.2006
СТ Eventuality in LOTOS with a Disjunction Operator 1998 Isobe Y., Sato Y., Ohmaki K. Lecture Notes in Computer Science 18.12.1998
СТ A Calculus of Countable Broadcasting Systems 1995 Isobe Y., Sato Y., Ohmaki K. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995