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 diagramprocess algebraCSPprocess synthesis
 Summary | Full Text:PDF

Least Fixpoint and Greatest Fixpoint in a Process Algebra with Conjunction and Disjunction
Yoshinao ISOBE Yutaka SATO Kazuhito OHMAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/03/25
Vol. E83-A  No. 3 ; pp. 401-411
Type of Manuscript:  Special Section PAPER (Special Section of Selected Papers from the 12th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
process algebraprocess logicprocess synthesisleast fixpointgreatest fixpoint
 Summary | Full Text:PDF