Stepwise refinement of action systems-Reference-Cited by-同舟云学术

Stepwise refinement of action systems

Published:1989 Issue: Volume: Page:115-138
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Back R. J. R.,Sere K.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-51305-1_7.pdf

Reference19 articles.

1. R.J.R. Back, On the Correctness of Refinement in Program Development, Ph.D. thesis, Report A-1978-4, Department of Computer Science, University of Helsinki, 1978.

2. R.J.R. Back, Correctness Preserving Program Refinements: Proof Theory and Applications, Mathematical Center Tracts 131, Mathematical Centre, Amsterdam 1980.

3. R.J.R. Back, A Calculus of Refinements for Program Derivations, Acta Informatica, Vol 25, 1988, pp. 593–624, Springer-Verlag.

4. R.J.R. Back, Refining Atomicity in Parallel Algorithms, Åbo Akademi, Reports on computer science and mathematics, Ser. A, No 57,1988. To appear in PARLE Conference on Parallel Architectures and Languages Europe, Eindhoven, the Netherlands, June 12–16, 1989.

5. R.J.R. Back, E. Hartikainen and R. Kurki-Suonio, Multi-process handshaking on broadcasting networks, Åbo Akademi, Reports on computer science and mathematics, Ser. A, No 42,1985.

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Event-B Model of an Automotive Adaptive Exterior Light System;Rigorous State-Based Methods;2020

2. Verification-Led Smart Contracts;Financial Cryptography and Data Security;2020

3. Behaviour-Driven Formal Model Development;Formal Methods and Software Engineering;2018

4. Invariant Management in the Presence of Failures;Model-Based Safety and Assessment;2017

5. A Theory of Service Dependency;Electronic Proceedings in Theoretical Computer Science;2016-06-04