References

 

[1]

Milner, Robin. A Calculus of Communicating Systems, Volume 92 of Lecture Notes in Computer Science, Springer, Berlin, 1980.

 

[2]

Milner, Robin. Communication and Concurrency, Prentice Hall, New York, 1989.