Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP

Autor:	Tomohiro Kaizu, Yoshinao Isobe, Masato Suzuki
Rok vydání:	2013
Předmět:	Discrete mathematics Sequence diagram Computer science Applied Mathematics Process calculus Signal Processing Process synthesis Electrical and Electronic Engineering Computer Graphics and Computer-Aided Design
Zdroj:	IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. :495-504
ISSN:	1745-1337 0916-8508
DOI:	10.1587/transfun.e96.a.495
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::03c39628abd4b993af92315731d20bcf https://doi.org/10.1587/transfun.e96.a.495 Zobrazit plný text záznamu