Advertisement

On the composition and decomposition of assertions

  • Glynn Winskel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 197)

Keywords

Proof System Logical Rule Springer Lecture Note Denotational Semantic Proof Rule 
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. [Ab]
    Abramsky, S., Domain theory as a theory of experiments. In this proceedings (1984).Google Scholar
  2. [Ac]
    Aczel, P., An introduction to inductive definitions. In the handbook of Mathematical Logic, Ed. Barwise, J., North-Holland (1983).Google Scholar
  3. [BKP]
    Barringer H., Kuiper R. and Pnueli A., Now you may compose temporal logic specifications. In the proceedings of STOC 84 (1984).Google Scholar
  4. [deNH]
    de Nicola, R. and Hennessy, M.C.B., Testing Equivalences for Processes, Lecture Notes in Comp. Sc. vol. 154 (1983). To appear in JACM.Google Scholar
  5. [GR]
    Golson, W. and Rounds W., In this proceedings (1984).Google Scholar
  6. [H]
    Hoare, C.A.R., A model for communicating sequential processes. Monograph of the Programming Research Group, Oxford University (1981).Google Scholar
  7. [HBR]
    Hoare, C.A.R., Brookes, S.D., and Roscoe, A.W., A Theory of Communicating Processes, Technical Report PRG-16, Programming Research Group, University of Oxford (1981); appears also in JACM (1984).Google Scholar
  8. [HM]
    Hennessy, M.C.B. and Milner, R., On observing nondeterminism and concurrency, Springer LNCS Vol. 85. (1979).Google Scholar
  9. [HP]
    Hennessy, M.C.B. and Plotkin, G. D., A term model for CBL. Springer LNCS Vol. 88. (1980).Google Scholar
  10. [LW]
    Larsen, K. and Winskel, G., Using Information Systems to solve Recursive Domain Equations Effectively. Springer Lecture Notes in Comp. Sc., vol. 173 (1984).Google Scholar
  11. [M1]
    Milner, R., A Calculus of Communicating Systems. Springer Lecture Notes in Comp. Sc. vol. 92 (1980).Google Scholar
  12. [M2]
    Milner, R., A modal characterisation of observable machine-behaviour. Springer Lecture Notes in Comp. Sc. vol. 112 (1981).Google Scholar
  13. [M3]
    Milner, R., Calculi for synchrony and asynchrony, Theoretical Computer Science, pp.267–310 (1983).Google Scholar
  14. [OH]
    Olderog, E-R. and Hoare, C.A.R., Specification-oriented semantics for communicating processes. Monograph of the Programming Research Group, Oxford University (1984).Google Scholar
  15. [P]
    Plotkin, G. D., Some comments on Robin's “A modal characterisation of observable machine-behaviour”. Handwritten notes, Comp. Sc. Dept., University of Edinburgh (1983).Google Scholar
  16. [S]
    Scott, D. S., Domains for Denotational Semantics. ICALP 1982.Google Scholar
  17. [S1]
    Scott, D. S., Lectures on a mathematical theory of computation. Oxford University Computing Laboratory Technical Monograph PRG-19 (1981).Google Scholar
  18. [Sm]
    Smyth, M.B., Power domains and predicate transformers: a topological view. Proc. of ICALP 83, Springer Lecture Notes in Comp. Sc. vol. 154 (1983).Google Scholar
  19. [St1]
    Stirling, C., A complete modal proof system for a subset of SCCS. Research report, Dept. of Comp. Sci., Edinburgh University (1984).Google Scholar
  20. [St2]
    Stirling, C., A proof theoretic characterisation of observational equivalence. Research report, Dept. of Comp. Sci., Edinburgh University, CSR-132-83 (1983). A version also appears in the proceedings of the Bangalore conference, India (1983) and is to appear in Theoretical Computer Science.Google Scholar
  21. [W1]
    Winskel, G., Synchronisation trees. Technical Report, Comp. Sc. Dept., Carnegie-Mellon University (1983). To appear in Theoretical Computer Science.Google Scholar
  22. [W2]
    Winskel, G., A complete proof system for SCCS with modal assertions. In preparation.Google Scholar

Copyright information

© Springer-Verlag 1985

Authors and Affiliations

  • Glynn Winskel
    • 1
  1. 1.Computer LaboratoryUniversity of CambridgeCambridge

Personalised recommendations