Abstract
We have seen that concurrency and decision are dual concepts in the same sense as logical ‘and’ and logical ‘or’ are dual. Furthermore, the temporal connective ‘first-then’ may exhibit properties of ‘and’ or of ‘or’ according to its use in the context of action (→ plans, tasks, accomplishment) or in the context of states-of-affairs (→ assertions, restrictions, observance). It should have become obvious that these structural properties of fundamental concepts of systems organization are important enough not to be omitted by restricting oneself to purely sequential mathematical models which do not properly exhibit concurrency phenomena.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Genrich, H.J.: Ein systemtheoretischer Beitrag zur Handlungslogik. Interner Bericht der GMD, ISF-03/75, Bonn (1975)
Petri, C.A.: Kommunikation mit Automaten. Schriften des IIM Nr.2, Bonn (1962)
Birkhoff, G.: Lattice theory (third edition). American Mathematical Society, Providence (1967)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Genrich, H.J. (1975). Extended simple regular expressions. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975. MFCS 1975. Lecture Notes in Computer Science, vol 32. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07389-2_201
Download citation
DOI: https://doi.org/10.1007/3-540-07389-2_201
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07389-5
Online ISBN: 978-3-540-37585-2
eBook Packages: Springer Book Archive