Author:
Derrick John,Boiten Eerke A.
Reference38 articles.
1. Abadi, M., & Lamport, L. (1991). The existence of refinement mappings. Theoretical Computer Science, 2(82), 253–284.
2. Abrial, J.-R. (2010). Modelling in Event-B. Cambridge: Cambridge University Press.
3. Araki, K., Galloway, A., & Taguchi, K. (Eds.) (1999). International Conference on Integrated Formal Methods 1999 (IFM’99). York: Springer.
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.