On the parameterized algebraic specification of concurrent systems-Reference-Cited by-同舟云学术

On the parameterized algebraic specification of concurrent systems

Published:1985 Issue: Volume: Page:342-358
ISSN:0302-9743
Container-title:Mathematical Foundations of Software Development
language:
Short-container-title:

Author:

Astesiano E.,Mascari G. F.,Reggio G.,Wirsing M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-15198-2_22.pdf

Reference15 articles.

1. E.Astesiano,F.Mazzanti,U.Montanari,G.Reggio: Design and formal specification of a family of distributed architectures. Quaderni CNET n. 88,ETS Pisa, 1983.

2. E.Astesiano,F.Mazzanti,G.Reggio,E.Zucca: Formal specification of a concurrent architecture in a real project. To appear in Proc. of ICS'85 ACM (International Computing Symposium), 1985.

3. E.Astesiano,G.Reggio: A unifying viewpoint for the constructive specification of cooperation, concurrency and distribution. Quaderni CNET n.115, ETS PISA, 1983.

4. F.L.Bauer,H.Wossner: Algorithmic language and program development, Springer Verlag Berlin, 1982.

5. M.Broy,M.Wirsing: On the algebraic specification of finitary infinite communicating sequential processes. In Proc. IFIP TC2 Working Conference on "Formal Description of Programming Concepts II", Garmisch 1982.

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Formal Approach to Object-Oriented Software Engineering;Electronic Notes in Theoretical Computer Science;1996

2. Algebraic view specification;Algebraic Methodology and Software Technology;1996

3. (Objects + concurrency) & reusability — A proposal to circumvent the inheritance anomaly;Lecture Notes in Computer Science;1996

4. Transformation of combined data type and process specifications using projection algebras;Lecture Notes in Computer Science;1990

5. Algebraic Specification;Formal Models and Semantics;1990