Author:
Derrick John,Wehrheim Heike
Reference39 articles.
1. E.A. Boiten, J. Derrick, Unifying concurrent and relational refinement, in: J. Derrick, E. A. Boiten, J. von Wright and J. C. P. Woodcock (Eds.), ENTCS, 70, 2002, Proceedings REFINE’02
2. Refinement in Object-Z and CSP;Bolton,2002
3. A singleton failures semantics for Communicating Sequential Processes;Bolton;Formal Aspects of Computing,2006
4. Style-based refinement of dynamic software architectures;Baresi,2004
5. Coordinated distributed diagram transformation for software evolution;Bottoni,2003
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献