Fusion and Simultaneous Execution in the Refinement Calculus (1997)

Cached

Download Links

by Ralph-johan Back , Michael Butler
Venue:Acta Informatica
Citations:12 - 2 self

Active Bibliography

23 A CSP Approach To Action Systems – Michael J. Butler - 1992
19 Exploring Summation and Product Operators in the Refinement Calculus – R. J. R. Back, M. J. Butler - 1994
2 Event Ordering in Action Systems – Michael Butler, Michael Butler - 1998
30 An Approach to the Design of Distributed Systems with B AMN (Extended Version) – Michael Butler - 1996
18 Stepwise Refinement of Communicating Systems – Michael Butler - 1994
12 A Tool for Data Refinement – Rimvydas Ruksenas, et al. - 1997
55 Refinement Calculus, Part I: Sequential Nondeterministic Programs – R. J. R. Back, J. von Wright - 1989
41 A Study of The Fragile Base Class Problem – Leonid Mikhajlov, Emil Sekerinski - 1998
9 Calculational Derivation of Pointer Algorithms from Tree Operations – Michael Butler - 1998
8 A Relational Basis for Program Construction by Parts – Marc Frappier - 1995
11 Retrenchment: Extending the Reach of Refinement – M. R. Poppleton , R. H. Banach
20 Procedures and Invariants in the Refinement Calculus – Trevor Vickers, Carroll Morgan - 1994
1 Tanaka,H.: Definite Clause Knowledge Representation and its Applications – Stefan Hallerstede, Stefan Hallerstede - 2001
4 Data refinement, call by value, and higher order programs. unpublished draft – David A. Naumann - 1995
Theorem Proving in Higher Order Logics – Victor A. Carreño, César A. Muñoz, Sofiène Tahar - 2002
1 Interpreting Nondeterminism in the Refinement Calculus – Ralph-johan Back, Joakim Von Wright - 1996
15 An Object-Oriented Refinement Calculus with Modular Reasoning – Mark Utting - 1992
1 Ensuring Correctness of Java Frameworks: A Formal Look at JCF – Anna Mikhajlova, Emil Sekerinski, Turku Centre, Computer Science - 1999
6 Class Refinement as Semantics of Correct Subclassing – Ralph Back, Anna Mikhajlova, Joakim Von Wright - 1997