Author:
Tejfel Máté,Horváth Zoltán,Kozsik Tamás
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Abadi, M., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst. 15(1), 73–132 (1993)
2. Lecture Notes in Computer Science;P. Achten,1998
3. Lecture Notes in Computer Science;A. Butterfield,2005
4. Chandy, K.M., Misra, J.: Parallel Program Design: a Foundation. Addison-Wesley, Reading (1989)
5. Lecture Notes in Computer Science;M. Dam,1998