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, |
