1. Lippman, S.B., Lajoie, J.: C++ Primer, 4th edn. Addison-Wesley Professional, Boston (2005)
2. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. The MIT Press, Cambridge (2009)
3. Milner, R.: Communication and Concurrency. Prentice-Hall, New Jersey (1989)
4. Boudol, G.: The $$\pi $$-calculus in direct style. High. Order Symbolic Comput. 11(2), 177–208 (1998)
5. Kim, D., Ciesielski, S.K. et al.: Temporal parallel gate-level timing simulation. In: IEEE International High Level Design Validation & Test Workshop. IEEE (2008)