Author:
Burton Jonathan,Koutny Maciej,Pappalardo Giuseppe,Pietkiewicz-Koutny Marta
Reference15 articles.
1. M. Abadi and L. Lamport, “The Existence of Refinement Mappings,” Theoretical Computer Science vol. 82, 1991, pp. 253–284.
2. E. Brinksma, B. Jonsson, and F. Orava, “Refining Interfaces of Communicating Systems,” Proc. Coll. on Combining Paradigms for Software Development, Springer, LNCS 494, 1991.
3. J. Burton, M. Koutny and G. Pappalardo, “Verifying Implementation Relations in the Event of Interface Difference,” Proc. FME 2001, LNCS 2021, 2001, 364–383.
4. J. Burton, M. Koutny and G. Pappalardo, “Implementing Communicating Processes in the Event of Interface Difference,” Proc. ACSD 2001, IEEE Computer Society, 2001, 87–96.
5. R. Gerth, R. Kuiper and J. Segers, “Interface Refinement in Reactive Systems,” Proc. CONCUR ‘82, Springer, LNCS 630, 1992, 77–93.