Author:
Horita E.,Debakker J.W.,Rutten J.J.M.M.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Crowdfunding;ACM Transactions on Computer-Human Interaction;2013-12
2. A Model of Cooperative Threads;Logical Methods in Computer Science;2010-10-20
3. Weak bisimulation is sound and complete for pCTL∗;Information and Computation;2010-02
4. Fully abstract models and refinements as tools to compare agents in timed coordination languages;Theoretical Computer Science;2009-02
5. A model of cooperative threads;ACM SIGPLAN Notices;2009-01-21