Articles

Synthesis of concurrent programs

Published:
2004-12-01
Authors
View
Keywords
License

Copyright (c) 2004 Sándor Sike and László Varga

Creative Commons License

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.