Author:
Bonakdarpour Borzoo,Bozga Marius,Quilbeuf Jean
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Software
Reference28 articles.
1. Arbab F (2004) Reo: a channel-based coordination model for component composition. Math Struct Comput Sci 14(3):329–366
2. Bagrodia R (1987) A distributed algorithm to implement n-party rendevouz. In: Foundations of software technology and theoretical computer science, seventh conference (FSTTCS), pp 138–152
3. Bagrodia R (1989) Process synchronization: design and performance evaluation of distributed algorithms. IEEE Trans Softw Eng 15(9):1053–1065
4. Basu A, Bensalem S, Peled D, Sifakis J (2009) Priority scheduling of distributed systems based on model checking. In: Computer aided verification (CAV), pp 79–93
5. Basu A, Bidinger P, Bozga M, Sifakis J (2008) Distributed semantics and implementation for systems with interaction and priority. In: Formal techniques for networked and distributed systems (FORTE), pp 116–133
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献