Preview
Unable to display preview. Download preview PDF.
References
Blikle, A., An Algebraic Approach to Programs and their Computations, Proc. of MFCS '73 Symp., High Tatras, 1973
Mac Lane, S., Categories for the Working Mathematician, Springer-Verlag, 1971
Paterson, J.L., Computation Sequence Sets, Journal of Comp. and System Sc., Vol 13, No 1, 1976
Petri, C.A., Interpretations of Net Theory, GMD, Bonn, 1975, paper presented at MFCS '75 Symp., Marianske Lazne, 1975
Sonner, J., The Formal Definition of Categories, Math. Zeits., 80, 1962
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Winkowski, J. (1977). Algebras of partial sequences — A tool to deal with concurrency. In: Karpiński, M. (eds) Fundamentals of Computation Theory. FCT 1977. Lecture Notes in Computer Science, vol 56. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08442-8_85
Download citation
DOI: https://doi.org/10.1007/3-540-08442-8_85
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08442-6
Online ISBN: 978-3-540-37084-0
eBook Packages: Springer Book Archive