Author:
Ciaffaglione Alberto,Hennessy Matthew,Rathke Julian
Publisher
Springer Berlin Heidelberg
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Parametrised Constants and Replication for Spatial Mobility;Lecture Notes in Computer Science;2009
2. A theory for observational fault tolerance;The Journal of Logic and Algebraic Programming;2007-09
3. A Theory for Observational Fault Tolerance;Lecture Notes in Computer Science;2006
4. Proof Methodologies for Behavioural Equivalence in Dpi;Formal Techniques for Networked and Distributed Systems - FORTE 2005;2005