Author:
Kurki-Suonio Reino,Systä Kari,Vain Jüri
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Abadi, M., Lamport, L., The existence of refinement mappings. Research Report 29, Digital Systems Research Center, 1990. To appear in Theoretical Computer Science.
2. Abadi, M., Lamport, L., Composing specifications. Research Report 66, Digital Systems Research Center, 1990.
3. Alpern, B., Schneider, F.B., Defining liveness. Information Processing Letters 21, 4 (Oct. 1985), 181–185.
4. Apt, K.R., Francez, N., Katz, S., Appraising fairness in distributed languages. Distributed Computing 2, (Aug. 1988), 226–241.
5. Back, R.J.R., A calculus of refinements for program derivations. Acta Informatica 25, (1988), 593–624.