Skip to main content
SpringerLink
Log in

The use of static constructs in a model process logic

  • Conference paper
  • First Online:
Logic at Botik '89 (Logic at Botik 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 363))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hennessy, M. and R. Milner: Algebraic Laws for Nondeterminism and Concurrency, J.Assoc.Comput.Mach. 32, pp. 137–161, 1985.

    Google Scholar 

  2. Holmström, S.: Reasoning about CCS agents using Hennessy-Milner logic extended with fixed points, Workshop on Parallel Systems, Stirling, 1988.

    Google Scholar 

  3. Hüttel, Hans: Operational and Denotational Properties of a Modal Process Logic, Master's Thesis, Department of Mathematics and Computer Science, Aalborg University Centre, 1988.

    Google Scholar 

  4. Larsen, Kim G.: A Context-Dependent Bisimulation Between Processes, Ph.D. Thesis, University of Edinburgh, 1986.

    Google Scholar 

  5. Larsen, Kim G.: Proof Systems for Hennessy-Milner Logic with Recursion, in: CAAP 88, LNCS 299, Springer-Verlag New York Berlin 1988. (Extended version to appear in Theoretical Computer Science, North-Holland).

    Google Scholar 

  6. Larsen, Kim and Robin Milner: Verifying a Protocol Using Relativized Bisimulation, in Proceedings of ICALP'87, LNCS 267, Springer-Verlag New York Berlin 1987.

    Google Scholar 

  7. Larsen, Kim and Bent Thomsen: Compositional Proofs by Partial Specification of Processes, in Proceedings of Mathematical Foundations of Computer Science 1988, LNCS 324, Springer-Verlag New York Berlin 1988.

    Google Scholar 

  8. Larsen, Kim. G and Bent Thomsen: A Modal Process Logic, in Proceedings of Third Annual symposium on Logic in Computer Science, Edinburgh, 1988.

    Google Scholar 

  9. Milner, Robin: A Calculus of Communicating Systems, LNCS 92, Springer-Verlag New York Berlin 1980.

    Google Scholar 

  10. Milner, Robin: Calculi for Synchrony and Asynchrony, Theoretical Computer Science 25, pp. 267–310, North-Holland 1983.

    Google Scholar 

  11. D. Park: Concurrency and automata on infinite sequences, in Proceedings og 5th GI Conference, LNCS 104, Springer-Verlag New York Berlin 1981.

    Google Scholar 

  12. Parrow, Joachim: Fairness Properties in Process Algebra, Ph.D. Thesis, Dept. of Computer Systems, Uppsala University, Uppsala 1985.

    Google Scholar 

  13. Plotkin, Gordon: A Structural Approach to Operational Semantics, Tech. Rep., DAIMI FN-19, Computer Science Department, Aarhus University 1981.

    Google Scholar 

  14. Prasad, K.V.S.: Combinators and Bisimulation Proofs for Restartable Systems, Ph.D. Thesis, Dept. of Computer Science, University of Edinburgh 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratory for the Foundations of Computer Science, JCMB, University of Edinburgh, EH9 3JZ, Edinburgh, Scotland

    Hans Hüttel

  2. Department of Mathematics and Computer Science, Aalborg University Centre, Strandvejen 19, DK-9000, Aalborg, Denmark

    Kim G. Larsen

Authors
  1. Hans Hüttel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kim G. Larsen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Albert R. Meyer Michael A. Taitslin

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hüttel, H., Larsen, K.G. (1989). The use of static constructs in a model process logic. In: Meyer, A.R., Taitslin, M.A. (eds) Logic at Botik '89. Logic at Botik 1989. Lecture Notes in Computer Science, vol 363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51237-3_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-51237-3_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51237-0

  • Online ISBN: 978-3-540-46180-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation