Author:
Sannella Donald,Tarlecki Andrzej
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)
2. Baumeister, H., Cerioli, M., Haxthausen, A., Mossakowski, T., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl semantics. In: Sannella, D., Tarlecki, A. (eds.) [CoF 2004], part III, pp. 115–273 (2004)
3. Lecture Notes in Computer Science;R.M. Burstall,1980
4. Lecture Notes in Computer Science;M. Bidoit,2004
5. Borzyszkowski, T.: Logical systems for structured specifications. Theoretical Computer Science 286, 197–245 (2002)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Foundational Legacy of ASL;Software, Services, and Systems;2015
2. The role of logical interpretations in program development;Logical Methods in Computer Science;2014-01-03