Communication-Communication Systems(Date:1996/07/26)

Presentation
表紙

,  

[Date]1996/7/26
[Paper #]
目次

,  

[Date]1996/7/26
[Paper #]
Partial Order Methods: Efficient Verification of Concurrent Systems

Kunihiko Hiraishi,  

[Date]1996/7/26
[Paper #]CST96-9
The Software Metrics technique which utilizes a technique of Concurrent System Technology

Yoshihiro UEDA,  Akira TSURUOKA,  Tsuyoshi ANDO,  

[Date]1996/7/26
[Paper #]CST96-10
ANALYSIS OF STRUCTURAL PROPERTIES IN EXTENDED MARKED GRAPHS

Kohkichi TSUJI,  

[Date]1996/7/26
[Paper #]CST96-11
The Methods of Specifying the Concurrent System

Haruo Hasagawa,  

[Date]1996/7/26
[Paper #]CST96-12
Reachability Analysis of Live Free Choice Petri Nets

Tadashi MATSUMOTO,  

[Date]1996/7/26
[Paper #]CST96-13
Necessary and Sufficient Condition for Structual Liveness of Dissynchronous Choice Petri Nets

Tadashi MATSUMOTO,  Masahiro OSOGAMI,  

[Date]1996/7/26
[Paper #]CST96-14
[OTHERS]

,  

[Date]1996/7/26
[Paper #]