@inproceedings{d55d453ed4584704a8dcc403ecbe2b04,
title = "A reduction method for process and system complexity with conjunctive and complement choices in a process algebra",
abstract = "This paper introduces new notion of conjunctive and complement choices in process algebra, which reduces significant process and system complexity for distributed mobile real-time system during specification and analysis. The complement choice implies that two processes make cohesive choices for each other at its own choice operation. The conjunctive choice implies choice dependency among consecutive choice operations in a process. The conjunctive choice reduces process complexity exponentially by the degree of the choice dependencies. The complement choice also reduces system complexity exponentially by the degree of the choice dependencies. Consequently, the approach makes the specification and analysis of the systems much easier since the complexity is reduces significantly. This notion is implemented in a process algebra, called d-calculus. The efficiency and effectiveness are demonstrated with an example in a tool for the algebra, called SAVE, which is developed on ADOxx platform.",
keywords = "ADOxx, Complement Choice, Conjunctive Choice, Process Algebra, SAVE, δ-Calculus",
author = "Woorim Choi and Yeongbok Choe and Moonkun Lee",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 39th IEEE Annual Computer Software and Applications Conference Workshops, COMPSACW 2015 ; Conference date: 01-07-2015 Through 05-07-2015",
year = "2015",
month = sep,
day = "21",
doi = "10.1109/COMPSAC.2015.249",
language = "English",
series = "Proceedings - International Computer Software and Applications Conference",
publisher = "IEEE Computer Society",
pages = "381--386",
editor = "Ahamed, \{Sheikh Iqbal\} and Chang, \{Carl K.\} and Ivica Crnkovic and Pao-Ann Hsiung and Jingwei Yang and Gang Huang and William Chu",
booktitle = "Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference Workshops, COMPSACW 2015",
}