Advertisement

Specification of communicating processes and process implementation correctness

  • Philippe Jorrand
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 137)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ASHC 76]
    ASHCROFT, E.A. and WADGE, W.W Lucid — A formal system for writing and proving programs SIAM Journal of Computing, Vol. 5, No 3, September 1976Google Scholar
  2. [BERT 81]
    BERT, D. and SOLER, R. About data-type genericity International Colloquium on Formalization of Programming Concepts, Peniscola, Lecture Notes in Computer Science, No 107, Springer-Verlag, 1981Google Scholar
  3. [DARO 81]
    DARONDEAU, Ph. An enlarged definition and complete axiomatization of observational congruence of finite processes IRISA Research Report, Rennes, October 1981Google Scholar
  4. [DEBAK 76]
    DE BAKKER, J.W. Semantics and termination of non deterministic programs 3rd. ICALP, Edited by S. Michaelson and R. Milner, Edinburgh Edinburgh University Press, July 1976Google Scholar
  5. [DIJK 76]
    DIJKSTRA, E.W. A discipline of programming Prentice Hall, 1976Google Scholar
  6. [GUER 81]
    GUERREIRO, P. Relational semantics of strongly communicating sequential processes International Colloquium on Formalization of Programming Concepts, Peniscola, Lecture Notes in Computer Science, No 107, Springer-Verlag, 1981Google Scholar
  7. [GUES 81]
    GUESSARIAN, I. Algebraic semantics Lecture Notes in Computer Science, No 99, Springer-Verlag, 1981Google Scholar
  8. [HOAR 78]
    HOARE, C.A.R. Communicating sequential processes CACM, Vol. 21, No 8, August 1978Google Scholar
  9. [HOAR 81]
    HOARE, C.A.R. A calculus of total correctness for communicating processes Science of Computer Programming, Vol. 1, No 12, October 1981Google Scholar
  10. [ICHB 79]
    ICHBIAH, J.D. et al. Rationale for the design of the ADA programming language SIGPLAN Notices, Vol. 14, No 6, June 1979Google Scholar
  11. [JORR 80]
    JORRAND, Ph. Specification and analysis of communication protocols IBM Research Report, RJ 2853, July 1980Google Scholar
  12. [JORR 82]
    JORRAND, Ph. Description and composition of communicating processes. Problems of analysis and correctness IMAG Research Report, Grenoble, January 1982Google Scholar
  13. [MILN 80]
    MILNER, R. A calculus of communicating systems Lecture Notes in Computer Science, No 92, Springer-Verlag, 1980Google Scholar
  14. [NIVAT 72]
    NIVAT, M. Langages algébriques sur le magma libre et sémantique des schémas de programmes 1st. ICALP, Edited by M. Nivat, Paris North-Holland, July 1972Google Scholar
  15. [QUEI 81]
    QUEILLE, J.P. and SIFAKIS, J. Specification and verification of concurrent systems in CESAR IMAG Research Report, Grenoble, June 1981Google Scholar
  16. [SIFA 80]
    SIFAKIS, J. Deadlock and livelocks in transition systems Mathematical Foundation of Computer Science Lecture Notes in Computer Science, No 88, Springer-Verlag, 1980Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1982

Authors and Affiliations

  • Philippe Jorrand
    • 1
  1. 1.IMAGGrenoble CedexFrance

Personalised recommendations