Preview
Unable to display preview. Download preview PDF.
References
Narinyani, A.S. Theory of parallel programming: Formal Models, Advances in Information Systems Sciences, 6, Plenum Press, New York, 1976.
Mazurkiewicz, A. Invariants of Concurrent Programs, Infopol Conference Proc., Warsaw, 1976.
Winkowski, T. On Algebraic Characterization of the Behavior of Non-Sequential Systems, Information Processing Letters, 6, No. 4, 1977, 105–109.
Campbell, R.H., Habermann, A.N. The Specification of Process Synchronization by Path Expressions, Springer Lecture Notes on Computer Science, 16, Berlin, 1974.
Lauer, P.E., Campbell, R.H. Formal Semantics for a Class of High-level Primitives for Coordinating of Concurrent Processes, Acta Informatica, No. 5, 1975, 297–332.
Ledanois, P. et.al. Multilevel Description and Simulation of Parallel Cooperating Processes, Arbeitsberichte der IMMD, 9, 1977, 247–275.
Kotov, V.E. Concurrent Programming with Control Types, Quality Software, North-Hall. Publishing Co., Amsterdam, 1978.
Kotov, V.E., Narinyani, A.S. Asynchronous Computational Processes on Common Memory, Kibernetika, No. 3, Kiev, 1966 (in Russian).
Kotov, V.E. An Algebra of Regular Nets, Computing Center Reprint No 98, Novosibirsk, 1978 (in Russian).
Sacerdate, G.S., Tenney, R.I. The Decidability of the Reachability Problem for Vector Addition Systems, COINS Techn. Report FF-3, University of Massachusetts, 1977.
Dennis, T.B. Modular Asynchronous Control Structures for a High Performance Processor, Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, ACM, N.Y., 1970, 55–80.
Dennis, T.B. Concurrency in Software Systems, Advanced Course in Software Engineering, Springer-Verlag, Berlin, 1973, 111–127.
Hack, M. Petri Net Languages, TR 159, MIT Lab. Computer Science, Cambridge, Mass., 1976.
Peterson, T.L. Computation Sequence Sets, J. Comput. System Science, 13, No. 1, 1976, 1–24.
Patil, S.S. Limitations and Capabilities of Dijkstra's Semaphore Primitives for Coordination among Processes, Computer Structures Group Memo 5F, MIT Project MAC, Cambridge, 1971.
Agerwala, T., Flynn, M. Comments on Capabilities, Limitations and Correctness of Petri Nets, Proc. 1st Annual Symp. Computer Architecture, ACM, N.Y., 1973, 81–86.
Peterson, T.L. Petri Nets, ACM Computing Surveys, 9, No. 3, 1977, 223–252
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1978 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kotov, V.E. (1978). An algebra for parallelism based on petri nets. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_55
Download citation
DOI: https://doi.org/10.1007/3-540-08921-7_55
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08921-6
Online ISBN: 978-3-540-35757-5
eBook Packages: Springer Book Archive