Invariance and Precedence Properties of Programs

Kröger, Fred

doi:10.1007/978-3-642-71549-5_6

Invariance and Precedence Properties of Programs

Fred Kröger⁵

Chapter

109 Accesses

Part of the book series: EATCS Monographs on Theoretical Computer Science ((EATCS,volume 8))

Abstract

Let

$$\begin{array}{l} \prod \equiv initialR;\\ cobeginI{I_1}\parallel \ldots \parallel I{I_P}coend\backslash {\rm{hfill}}\backslash {\rm{end}}gathered \end{array}$$

be a program. We begin with the consideration of invariance properties whose general form is

$$ A \to \square B. $$

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

Chapter: USD 29.95; Price excludes VAT (USA)

eBook: USD 39.99; Price excludes VAT (USA)

Softcover Book: USD 54.99; Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Institut für Informatik, Universität München, Theresienstr. 39, D-8000, München 2, Germany
Prof. Dr. Fred Kröger

Authors

Prof. Dr. Fred Kröger
View author publications
You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

About this chapter

Cite this chapter

Kröger, F. (1987). Invariance and Precedence Properties of Programs. In: Temporal Logic of Programs. EATCS Monographs on Theoretical Computer Science, vol 8. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71549-5_6

Download citation

DOI: https://doi.org/10.1007/978-3-642-71549-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-71551-8
Online ISBN: 978-3-642-71549-5
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics