This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
Reference
Banachowski, L., Kreczmar, A., Mirkowska, G., Rasiowa, H., and Salwicki, A.: An introduction to algorithmic logic: Mathematical investigations in the theory of programs, Math. Found. of Comp. Sci., Vol. 2, 7–99. Banach Center Pub., Warsaw (1977).
Dijkstra, E.W.: Cooperating sequential processes. In: Programming Languages Ed. Genuys, F.. Academic Press, New York (1968).
Dod: Reference manual for the Ada programming language (1980).
Floyd, R.W.: Assigning meaning to programs. In: Proc. Symp. in Appl. Math., Ed. Schwarz, J., 19–32. AMS, Providence, R.I. (1967).
Gallin, D.: Intensional and higher-order modal logic. North-Holland, Amsterdam, Oxford (1975).
Harel, D.: First order dynamic logic. In: Lecture Notes in Comp. Sci., Vol. 68. Springer, Berlin-Heidelberg-New York (1979).
Hoare, C.A.R.: Axiomatic basis for computer programming. Comm. ACM, 10, 565–583 (1969).
Jassen, T.M.V. and van Emde Boas, P.: On the proper treatment or referencing, dereferencing, and assignment. In: 4 th Colloq. of Automata, Languages, and Programming, Lecture Notes in Comp. Sci., Vol. 52. Springer, Berlin-Heidelberg-New York (1977).
Kröger, F.: LAR: A logic of algorithmic reasoning. Acta Informatica, 8, 243–266 (1977).
Kröger, F.: Unendliche Schlussregeln zur Verifikation von Programmen. TUM-I80009, Juli (1980).
Manna, Z.: Logics of programs. In: Proc. of IFIP Congress 80, Ed. Lavinton, S.. North-Holland, Amsterdam-New York-Oxford (1980).
Németi, I.: Nonstandard dynamic logic. Preprint, Math. Inst. of the Hungarian Academy of Sciences (1981).
Pnueli, A.: The temporal semantics of concurrent programs. In: Semantics of Concurrent Computation, Ed. Kahn, G., Lecture Notes in Comp. Sci. Vol. 70, 1–20. Springer, Berlin-Heidelberg-New York (1979).
Pratt, V.R.: Semantical considerations on Floyd-Hoare logic. In: Proc. 17 th Ann. IEEE Symp. on Foundations of Comp. Sci., 109–121. Oct. (1976).
Sundholm, G.: A completeness proof for an infinitary tense logic. Theoria, 43, 47–51 (1977).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kawai, H. (1983). A formal system for parallel programs in discrete time and space. 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_11
Download citation
DOI: https://doi.org/10.1007/3-540-11981-7_11
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