|
| Keyword : process synthesis
|
Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP
Tomohiro KAIZU Yoshinao ISOBE Masato SUZUKI | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/02/01
Vol. E96-A
No. 2 ;
pp. 495-504
Type of Manuscript:
Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: Concurrent Systems
Keyword:
sequence diagram, process algebra, CSP, process synthesis, | | | Summary | Full Text:PDF(704.1KB) | |
| |
|
|
