Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
Genrich, H. J., Thieler-Mevissen, G., The Calculus of Facts. Lecture Notes in Comp. Science Vol.45 (1976), Springer, Berlin-Heidelberg-New York
Lautenbach, K., Wedde, H., Generating Control Mechanisms by Restrictions. Lecture Notes in Comp. Science Vol.45 (1976), Springer, Berlin-Heidelberg--New York
Petri, C. A., Interpretations of Net Theory. GMD-ISF, Internal Report 75-07 (1975)
Winkowski, J., Algebras of Arrays — A Tool to Deal with Concurrency. CC PAS Reports 287 (1977)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wedde, H., Winkowski, J. (1977). Determining processes by violations. In: Gruska, J. (eds) Mathematical Foundations of Computer Science 1977. MFCS 1977. Lecture Notes in Computer Science, vol 53. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08353-7_179
Download citation
DOI: https://doi.org/10.1007/3-540-08353-7_179
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08353-5
Online ISBN: 978-3-540-37285-1
eBook Packages: Springer Book Archive