Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Abadi, M., Lamport, L.: The Existence of Refinement Mappings. Theoretical Computer Science 82(2), 253–284 (1991)
2. Arctis Website,
http://arctis.item.ntnu.no
3. Back, R.J.R., Kurki-Suonio, F.: Distributed Cooperation With Action Systems. ACM Transactions on Programming Languages and Systems 10(4), 513–554 (1988)
4. Lecture Notes in Computer Science;H. Ben-Abdallah,1997
5. The BCS Practitioner Series;R. Bræk,1993