Author:
Derrick John,Boiten Eerke A.
Reference22 articles.
1. Araki, K., Galloway, A., & Taguchi, K. (Eds.) (1999). International Conference on Integrated Formal Methods 1999 (IFM’99). York: Springer.
2. Lecture Notes in Computer Science,1990
3. Boiten, E. A., & Derrick, J. (2002). Unifying concurrent and relational refinement. Electronic Notes in Theoretical Computer Science, 70(3), 94–131.
4. Boiten, E. A., Derrick, J., & Schellhorn, G. (2009). Relational concurrent refinement II: internal operations and outputs. Formal Aspects of Computing, 21(1–2), 65–102.
5. Lecture Notes in Computer Science;C. Bolton,2002