Searching for "Mind the Gap! Abstract Versus Concrete Models of Specifications." – sorted by Relevance.
-
Casl. 5 37. (with M. Bidoit) Behavioural satisfaction and equi...
- of Computing 9(1997) 229--269. 40. (with D. Sannella) Mind the gap! Abstract versus concrete models
- Add To MetaCart
-
Observations and Questions Concerning Partiality and Don't Care Non-Strictness
- by the development of the corresponding notions for partial and for regular algebras. Mind the gap! Abstract versus
- Add To MetaCart

