Author:
Cranen Sjoerd,Groote Jan Friso,Keiren Jeroen J. A.,Stappers Frank P. M.,de Vink Erik P.,Wesselink Wieger,Willemse Tim A. C.
Publisher
Springer Berlin Heidelberg
Reference50 articles.
1. Arbab, F.: Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)
2. Lecture Notes in Computer Science;J. Barnat,2008
3. van Beek, D.A., et al.: Syntax and consistent equation semantics of hybrid Chi. Journal of Logic and Algebraic Programming 68(1-2), 129–210 (2006)
4. Lecture Notes in Computer Science;G. Behrmann,2004
5. Bhat, G., Cleaveland, R.: Efficient model checking via the equational μ-calculus. In: LICS, pp. 304–312. IEEE Computer Society (1996)
Cited by
101 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献