Articles
Synthesis of concurrent programs
Published:
2004-12-01
Authors
View
Keywords
concurrent program process synchronization guarded statement semaphore object-oriented design UML class diagram state-chart diagram
License
Copyright (c) 2004 Sándor Sike and László Varga
This work is licensed under a Creative Commons Attribution 4.0 International License.
How To Cite
Selected Style:
APA
Sike, S., & Varga, L. (2004). Synthesis of concurrent programs. Teaching Mathematics and Computer Science, 2(2), 301-317. https://doi.org/10.5485/TMCS.2004.0062
Abstract
Students need a well defined method to be successful in the complex process of writing a concurrent program. In this paper we show a step by step method to create such programs. The method based on UML which has been thought to students during previous courses. UML provides standard and relatively simple tools to describe concurrent systems, and from the description the program can be derived.
First we give a brief introduction to the concurrent systems. This is followed by the description of the method, and finally we demonstrate the method on a small problem.
First we give a brief introduction to the concurrent systems. This is followed by the description of the method, and finally we demonstrate the method on a small problem.