Author:
Bliudze Simon,Henrio Ludovic,Madelaine Eric
Publisher
Springer International Publishing
Reference37 articles.
1. Alberti, F., Ghilardi, S., Pagani, E., Ranise, S., Rossi, G.P.: Universal guards, relativization of quantifiers, and failure models in model checking modulo theories. JSAT 8(1/2), 29–61 (2012). https://satassociation.org/jsat/index.php/jsat/article/view/93
2. Ameur-Boulifa, R., Henrio, L., Kulankhina, O., Madelaine, E., Savu, A.: Behavioural semantics for asynchronous components. J. Log. Algebr. Methods Program. 89, 1–40 (2017). https://doi.org/10.1016/j.jlamp.2017.02.003 , http://www.sciencedirect.com/science/article/pii/S2352220817300287
3. Arnold, A.: Synchronised behaviours of processes and rational relations. Acta Inform. 17, 21–29 (1982)
4. Lecture Notes in Computer Science;L Aştefănoaei,2015
5. Attie, P., Baranov, E., Bliudze, S., Jaber, M., Sifakis, J.: A general framework for architecture composability. Form. Asp. Comput. 18(2), 207–231 (2016)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献