Author:
Bowman H.,Briscoe-Smith C.,Derrick J.,Strulo B.
Reference25 articles.
1. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14 (1): 25–29, 1988.
2. J.C.M. Baeten, J.A. Bergstra, and J.W. Klop. On the consistency of koomen’s fair abstraction rule. Theoretical Computer Science, 51: 129–176, 1987.
3. H. Bowman, J. Derrick, P. Linington, and M. Steen. FDTs for ODP. Computer Standards and Interfaces, 17: 457–479, September 1995.
4. E. Brinksma and G. Scollo. Formal notions of implementation and conformance in LOTOS. Technical Report INF-86–13, Dept of Informatics, Twente University of Technology, 1986.
5. E. Cusack and G. H. B. Rafsanjani. ZEST. In S. Stepney, R. Barden, and D. Cooper, editors, Object Orientation in Z, Workshops in Computing, pages 113–126. Springer-Verlag, 1992.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algebraic Laws for Process Subtyping;Formal Methods and Software Engineering;2013
2. Comparison of Data and Process Refinement;Formal Methods and Software Engineering;2003
3. Checking Behavioural Subtypes Via Refinement;Formal Methods for Open Object-Based Distributed Systems V;2002
4. State inference for dynamically changing interfaces;Computer Languages;2001-12
5. Inheritance of behavior;The Journal of Logic and Algebraic Programming;2001-03