A Programming Logic for Formal Concurrent Systems

Gribomont, EP.
(1990) Lecture Notes in Computer Science — Vol. 458, p. 298-313 (1990)

Files

pdfdocument.pdf
  • Restricted Access
  • Adobe PDF
  • 876.74 KB
Request a copy

Details

Authors
  • Gribomont, EP.
    Author
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Gribomont, EP. (1990). A Programming Logic for Formal Concurrent Systems. Lecture Notes in Computer Science, 458, 298-313. https://doi.org/10.1007/BFb0039067 (Original work published 1990)