|
| Ken MANO
| |
|
|
FOREWORD
Ken MANO | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2020/08/01
Vol. E103-D
No. 8
pp. 1782-1782
Type of Manuscript:
FOREWORD
Category:
Keyword:
| | | Summary | Full Text:PDF | |
| |
|
|
Verifying Trace Equivalence of a Shared-Memory-Style Communication System
Yoshinobu KAWABE Ken MANO | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/04/01
Vol. E88-A
No. 4
pp. 915-922
Type of Manuscript:
Special Section PAPER (Special Section on Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
Category:
Keyword:
I/O-automaton, trace equivalence, theorem proving, | | | Summary | Full Text:PDF | |
|
|