Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. FACIT (Formal Approaches to Computing and Information Technology);H. Baumeister,2000
2. Lecture Notes in Computer Science,2004
3. Bidoit, M., Sannella, D., Tarlecki, A.: Architectural specifications in Casl. Formal Aspects of Computing 13, 252–273 (2002)
4. Lecture Notes in Computer Science,2004
5. Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39, 95–146 (1992)