Publisher
Springer International Publishing
Reference15 articles.
1. Manna, Z.: Mathematical Theory of Computation. McGraw-Hill Series in Computer Science (1974)
2. Floyd, R.W.: Assigning meanings to programs. In: Schwartz, J.T. (eds.) Proceedings Symposium in Applied Mathematics, Mathematical Aspects of Computer Science, pp. 19–32. AMS (1967)
3. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580, 583 (1969)
4. Milner, R.: A Calculus of Communicating Systems. Number 92 in Lecture Notes in Computer Science. Springer Verlag (1980)
5. Milner, R.: Communicating and Mobile Systems: The $$\pi $$-Calculus. Cambridge University Press, Cambridge (1999)