T. Dobrev: Concurrent and Distributed Software Applications

design process can be demonstrated using an important CAD problem, which can be reduced to the calculation of the difference between two Boolean functions.

References:

[1] Steinbach, B.; Dorotska, Chr.; Dobrev, T.: Distributed Software for Complex Boolean Tasks in Circuit Design. in: The Experience of Designing and Application of CAD Systems in Microelectronics - Proceedings of the VI-th International Conference CADSM 2001. Lviv – Slavsko, Ukraine, 2001, pp. 187 – 190. (PDF 180k)
[2] Steinbach, B.; Dobrev, T.: A Concurrent and Distributed Model for Complex Boolean Calculations. in: Steinbach, B. (Hrsg.): Boolean Problems, Proceedings of the 4th International Workshops on Boolean Problems, 21. - 22. September 2000, Freiberg University of Mining and Technology, pp. 183 – 189. (PDF 204k)