Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2001
2. Baeten, J., Weijland, W.P.: Process Algebra. In: Cambridge Tracts in Theoretical Computer Science, vol. 18. Cambridge University Press, Cambridge (1990)
3. Berthomieu, B., Diaz, M.: Modelling and verification of Time Dependent Systems Using Time Petri Nets. IEEE Trans. on Soft. Eng. 17, 259–273 (1991)
4. Lecture Notes in Computer Science;E. Best,1992
5. Best, E., Devillers, R., Koutny, M.: A Unified Model for Nets and Process Algebras. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 873–944. Elsevier, Amsterdam (2001)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献