Author of the publication

Approximative Analysis by Process Algebra with Graded Spatial Actions.

, , and . AMAST, volume 1101 of Lecture Notes in Computer Science, page 336-350. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Foreword.. IEICE Trans. Inf. Syst., 97-D (5): 1139 (2014)Eventuality in LOTOS with a Disjunction Operator., , and . ASIAN, volume 1538 of Lecture Notes in Computer Science, page 263-281. Springer, (1998)Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture., , , , , and . Inf. Media Technol., 7 (3): 938-948 (2012)Autonomous driving quality assurance with data uncertainty analysis., , , , and . IJCNN, page 1-7. IEEE, (2022)AI robustness analysis with consideration of corner cases., , , , , and . AITest, page 29-36. IEEE, (2021)Proof Principles of CSP - CSP-Prover in Practice., and . LDIC, page 425-442. Springer, (2007)A Calculus of Countable Broadcasting Systems., , and . AMAST, volume 936 of Lecture Notes in Computer Science, page 489-503. Springer, (1995)Parallel algorithm that considers energy efficiency and time efficiency., , , , , and . ICIT, page 1723-1727. IEEE, (2016)Corner Case Data Description and Detection., , , , , and . WAIN@ICSE, page 19-26. IEEE, (2021)A process logic for distributed system synthesis ., and . APSEC, page 62-69. IEEE Computer Society, (2000)