Publisher
Springer Berlin Heidelberg
Reference59 articles.
1. Lecture Notes in Computer Science;L. Acciai,2008
2. Aceto, L., Ingólfsdóttir, A., Larsen, K., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, Cambridge (2007)
3. Lecture Notes in Computer Science;M. Bartoletti,2007
4. Lecture Notes in Computer Science;L. Bettini,2008
5. Lecture Notes in Computer Science;C. Bodei,2009
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. CaSPiS: a calculus of sessions, pipelines and services;Mathematical Structures in Computer Science;2014-11-10
2. A formal framework for service modeling and prototyping;Formal Aspects of Computing;2014-11
3. A Calculus for Quality;Formal Aspects of Component Software;2013
4. Probabilistic Analysis of the Quality Calculus;Formal Techniques for Distributed Systems;2013
5. A formal model for service-oriented interactions;Science of Computer Programming;2012-05