Author:
Boella Guido,Hulstijn Joris,van der Torre Leendert
Subject
General Computer Science,Theoretical Computer Science
Reference36 articles.
1. On the logic of theory change: partial meet contraction and revision functions;Alchourrón;The Journal of Symbolic Logic,1985
2. What do you mean, coordination?;Arbab;Bulletin of the Dutch Association for Theoretical Computer Science, NVTI,1998
3. Reo: A channel-based coordination model for component composition;Arbab;Mathematical Structures in Computer Science,2004
4. Abstract behavior types: A foundation model for components and their composition;Arbab;Science of Computer Programming,2005
5. Coordination of interacting concurrent computations;Arbab,2005
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献