Invariants, composition, and substitution

Authors:
Ekkart Kindler
Affiliations:
Univ. Mu¨/nchen, Munich, Germany/ and Humboldt-Univ. zu Berlin, Berlin, Germany
Venue:
Acta Informatica
Year:
1995

Citing 0
Cited 4

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems

Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract