Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Conclusions;Refinement;2018
2. Revisiting sequential composition in process calculi;Journal of Logical and Algebraic Methods in Programming;2015-11
3. Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction;Formal Techniques for Distributed Objects, Components, and Systems;2014
4. Multiple Levels in Self-adaptive Complex Systems: A State-Based Approach;Proceedings of the European Conference on Complex Systems 2012;2013
5. A timed calculus for wireless systems;Theoretical Computer Science;2011-11