S. Takasu Books
Mathematical Studies Of Information Processing: Proceedings Of The International Conference, Kyoto, Japan, August 23-26, 1978
By "E. K.", PAul, . Blum, *** S**, M., S. Takasu, E. K. Blum, M. Paul, International Conference On Mathematical Studies Of Information Proces..., Takasu, M. W. Shields, P. E. Lauer (Auth.), E. K. Blum, M. Paul, S. Takasu (Eds.)
On the abstract specification and formal analysis of synchronization properties of concurrent systems....Pages 1-32 On the formal specification and analysis of loosely connected processes....Pages...
Read More