Author:
Sannella Donald,Tarlecki Andrzej
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference75 articles.
1. Arbib, M.A., Manes, E.G.: Arrow, Structures and Functors: the Categorical Imperative. New York, London: Academic Press 1975
2. Lect. Notes Comput. Sci.;E. Astesiano,1985
3. Astesiano, E., Reggio, G. : A unifying viewpoint for the constructive specification of cooperation, concurrency and distribution. Quaderni CNET no. 115, ETS Pisa (1983)
4. Barwise, K.J.: Axioms for abstract model theory. Ann. Math. Log.7, 221–265 (1974)
5. Bauer, F.L., Broy, M., Dosch, W., Gnatz, R., Geiselbrechtinger, F., Hesse, W., Krieg-Brückner, B., Laut, A., Matzner, T., Möller, B., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., Wössner, H.: Report on a wide spectrum language for program specification and development. Report TUM-I8104, Technische Univ. München (1981). See also: The Wide Spectrum Language CIP-L. Lect. Notes Comput. Sci. Vol. 183. Berlin, Heidelberg, New York: Springer 1985
Cited by
51 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献