Author:
Fraikin Benoît,Frappier Marc,St-Denis Richard
Funder
Natural Sciences and Engineering Research Council of Canada
Reference47 articles.
1. Software Abstractions;Jackson,2012
2. Generation of concurrency control code using discrete-event systems theory;Dragert,2008
3. Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: the linear case;Nazeem;IEEE Trans. Autom. Control,2011
4. Systems-theoretic view of component-based software development;Côté,2012
5. Planning control rules for reactive agents;Kabanza;Artif. Intell.,1997
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献