References

[1] Lin H M. Symbolic transition graph with \mbox{assignment}. In: Proceedings of 7th International Conference on Concurrency Theory, Pisa, 1996. 50--65. Google Scholar http://scholar.google.com/scholar_lookup?title=Lin H M. Symbolic transition graph with \mbox{assignment}. In: Proceedings of 7th International Conference on Concurrency Theory, Pisa, 1996. 50--65&

[2] Rathke J. Symbolic techniques for value-passing calculi. Dissertation for the Doctoral Degree. University of Sussex, 1997. Google Scholar http://scholar.google.com/scholar_lookup?title=Rathke J. Symbolic techniques for value-passing calculi. Dissertation for the Doctoral Degree. University of Sussex, 1997&

[3] de Simone R. Theor Comput Sci, 1985, 37: 245-267 Google Scholar http://scholar.google.com/scholar_lookup?author=de Simone R&publication_year=1985&journal=Theor Comput Sci&volume=37&pages=245-267

[4] Resink A. Bisimilarity of open terms. In: Proceedings of 4th Workshop on Expressiveness in Concurrency, Santa Margherita Ligure, 1997. 262--285. Google Scholar http://scholar.google.com/scholar_lookup?title=Resink A. Bisimilarity of open terms. In: Proceedings of 4th Workshop on Expressiveness in Concurrency, Santa Margherita Ligure, 1997. 262--285&

[5] Henrio L, Madelaine E, Zhang M. pNets: an expressive model for parameterised networks of processes. In: Proceedings of 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), Turku, 2015. 492--496. Google Scholar http://scholar.google.com/scholar_lookup?title=Henrio L, Madelaine E, Zhang M. pNets: an expressive model for parameterised networks of processes. In: Proceedings of 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), Turku, 2015. 492--496&

[6] Arnold A. Finite Transition Systems: Semantics of Communicating Systems. Hertfordshire: Prentice-Hall, 1994. Google Scholar http://scholar.google.com/scholar_lookup?title=Arnold A. Finite Transition Systems: Semantics of Communicating Systems. Hertfordshire: Prentice-Hall, 1994&

[7] Cansado A, Madelaine E. Specification and Verification for Grid Component-based Applications: from Models to Tools. In: Proceedings of 7th International Symposium on Formal Methods for Components and Objects, Sophia Antipolis, 2008. 180--203. Google Scholar http://scholar.google.com/scholar_lookup?title=Cansado A, Madelaine E. Specification and Verification for Grid Component-based Applications: from Models to Tools. In: Proceedings of 7th International Symposium on Formal Methods for Components and Objects, Sophia Antipolis, 2008. 180--203&