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&