Author:
Derrick John,Boiten Eerke A.
Reference35 articles.
1. Aceto, L. (1992). Action Refinement in Process Algebras. London: Cambridge University Press.
2. Lecture Notes in Computer Science;R. J. R. Back,1989
3. Back, R. J. R. (1993). Atomicity refinement in a refinement calculus framework (Reports on computer science and mathematics 142). Åbo Akademi University.
4. Back, R. J. R., & Kurki-Suonio, R. (1988). Distributed cooperation with action systems. ACM Transactions on Programming Languages and Systems, 10(4), 513–554.
5. Back, R. J. R., & Kurki-Suonio, R. (1989). Decentralization of process nets with centralized control. Distributed Computing, 3(2), 73–87.