Advertisement

On generalized process logic

  • V. E. Kotov
  • L. A. Cherkasova
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)

Keywords

Generalize Process Canonical Form Inference Rule Process Property Concurrent System 
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.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Petri C.A. Non-sequential processes. — ISF-Report-77.05, St.Augustin: Gesellschaft fur Mathematik und Datenverarbeitunf, 1971, 31 p.Google Scholar
  2. 2.
    Kotov V.E., Cherkasova L.A. On structural properties of generalized processes. — Lecture Notes in Computer Science, 188, Springer-Verlag, Berlin, 1984, p. 288–306.Google Scholar
  3. 3.
    Harel D. First-order dynamic logic. — Lecture Notes in Computer Science, 68, Springer-Verlag, Berlin, 1979.Google Scholar
  4. 4.
    Manna Z. Pnueli A. Verification of concurrent programs: temporal proof principles. — Lecture Notes in Computer Science, Springer-Verlag, Berlin, v. 131, 1981, p. 202–252.Google Scholar
  5. 5.
    Pratt V.R. Process logic. — Proc.ACM Symp.on Principles of Programming Languages, 1979, p. 93–100.Google Scholar
  6. 6.
    Milner R. A Calculus for Communicating Systems. — Lecture Notes in Computer Science, 92, Springer-Verlag, Berlin, 1980, 171 p.Google Scholar
  7. 7.
    Bergstra J.A., Klop J.W. The algebra of recursively defined processes and the algebra of regular processes. — Lecture Notes in Computer Science, 172, Springer-Verlag, Berlin, 1984, p. 82–94.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • V. E. Kotov
    • 1
  • L. A. Cherkasova
    • 1
  1. 1.Computing CenterSiberian Division of the USSR Academy of SciencesNovosibirskUSSR

Personalised recommendations