This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Arnold A., Nivat M., Controlling behaviours of systems, some basic concepts and some applications, Lecture Notes in Comp. Sci.88, 1980, pp. 113–122
Bednarek A.R., Ulam S.M., Some remarks on relational composition in computational theory and practice, Lecture Notes in Comp.Sci.56, 1977, pp. 22–32
Burkhard H.D., The maximum firing strategy in Petri nets gives more power, 3 th Conf.on Math.Problems of Comp.Sic., Zaborów, January 1980, ICS PAS Reports No 411,1980
Dijkstra E.W., Guarded commands, non determinancy and formal derivation of programs, Comm.ACM, vol. 18, No 8, August 1979, pp. 453–457
Hack M., Decidability questions for Petri nets, Technical Report TR-161, Lab.for Comp.Sci. M.I.T., June 1976
Genrich H.J., Lautenbach K., Thiagarajan P.S., Substitution systems: a family of system models based on concurrency, Lectures Notes in Comp.Sci.,vol.88, 1980, pp.698–723
Karp R.M., Miller R.E., Parallel program schemata, J.Comp. Syst.Sci.vol.3, No2, 1969, pp, 147–195
Keller R.M., Vector replacement system: a formalism modeling asynchronous systems, Princeton University, Technical Report No 117, 1972
Kotov V.E., An integrated trigger function parallel system, Proc.of the 1st European Conf.on Parallel and Distributed Processing,Toulouse-France, February 14–16, 1979, pp. 191–197
Mazurkiewicz A., Concurrent program schemes and their interpretations,DAIMI PB-78,Aarhus Univ.Publ.July, 1977
Lautenbach K., Thiagarajan P.S., Analysis of a resource allocation problem using Petri nets, Proc.of the 1st European Conf.on Parallel and Distributed Processing,Toulouse-France, February 14–16, 1979, pp. 260–266
Milner R., Algebras for communicating systems,Internal Report CSR-25-78, University of Edinburgh, June 1978
Müldner T., On semantics of parallel programs, ICS PAS Reports No 348, 1979
Petri C.A., Non-sequential processes, ISF GMD, Bonn 1976
Petri C.A., Concurrency as basis of system thinking, Proc. 5th Scandinavian Logic Symposium, ed. Jensen, Mayoh and Möller, Aalborg Universitetsforlag 1979
Skowron A.,Concurrent programs /manuscript/
Suraj Z.,Optimal deadlock avoidance /manuscript/
Winkowski J., Towards an algebraic description of discrete processes and systems, ICS PAS No 408, 1980.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Skowron, A. (1983). Concurrent programs. In: Salwicki, A. (eds) Logics of Programs and Their Applications. Logic of Programs 1980. Lecture Notes in Computer Science, vol 148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11981-7_19
Download citation
DOI: https://doi.org/10.1007/3-540-11981-7_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11981-4
Online ISBN: 978-3-540-39445-7
eBook Packages: Springer Book Archive