Zusammenfassung
Automaten-Modelle beschreiben sequentielle Prozesse. In der realen Welt laufen aber häufig mehrere unabhängige Prozesse nebenläufig (nicht notwendig zeitlich parallel) ab, die gelegentlich untereinander Informationen austauschen und/oder sich synchronisieren (d. h. aufeinander warten).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2000 B. G. Teubner GmbH, Stuttgart/Leipzig/Wiesbaden
About this chapter
Cite this chapter
Eirund, H., Müller, B., Schreiber, G. (2000). Beschreibung nebenläufiger Prozesse. In: Formale Beschreibungsverfahren der Informatik. Informatik & Praxis. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-80103-6_5
Download citation
DOI: https://doi.org/10.1007/978-3-322-80103-6_5
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-519-02643-3
Online ISBN: 978-3-322-80103-6
eBook Packages: Springer Book Archive