Author:
Derrick John,Boiten Eerke
Publisher
Springer International Publishing
Reference60 articles.
1. de Roever W-P, Engelhardt K (1998) Data refinement: model-oriented proof methods and their comparison. CUP
2. Back RJR, Kurki-Suonio R (1988) Distributed cooperation with action systems. ACM Trans Program Lang Syst 10(4):513–554
3. Back RJR, von Wright J (1994) Trace refinement of action systems. In: Jonsson B, Parrow J (eds) CONCUR’94: concurrency theory. Lecture notes in computer science, vol 836. Springer, Sweden, pp 367–384
4. Back RJR, Sere K. From action systems to modular systems. In: Naftalin et al. [58], pp 1–25
5. Bonsangue M, Kok J, Sere K (1998) An approach to object-orientation in action systems. In: Jeuring J (ed) Mathematics of program construction (MPC’98). Lecture notes in computer science, vol 1422. Springer, Berlin, pp 68–95