Formalism and method-Reference-Cited by-同舟云学术

Formalism and method

Published:2000-04 Issue:1-2 Volume:236 Page:3-34
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Astesiano Egidio,Reggio Gianna

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference35 articles.

1. A Pattern Language;Alexander,1977

2. Relationships between Logical Frameworks;Astesiano,1993

3. E. Astesiano, G. Reggio, SMoLCS-driven concurrent calculi, in: H. Ehrig, R. Kowalski, G. Levi, U. Montanari (Eds.), Proc. TAPSOFT’87, vol. 1, Lecture Notes in Computer Science, vol. 249, Springer, Berlin, 1987, pp. 169–201.

4. E. Astesiano, G. Reggio, Formally-driven friendly specifications of concurrent systems: a two-rail approach, Tech. Report DISI-TR-94-20, DISI – Università di Genova, Italy, 1994. Presented at ICSE’17-Workshop on Formal Methods, Seattle, April 1995.

5. E. Astesiano, G. Reggio, Labelled transition logic: an outline, Tech. Report DISI-TR-96-20, DISI – Università di Genova, Italy, 1996.

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

1. A Framework for Defining and Comparing Modelling Methods;Software, Services, and Systems;2015

2. A formally grounded software specification method;The Journal of Logic and Algebraic Programming;2006-04

3. Assessing the Expressivity of Formal Specification Languages;Algebraic Methodology and Software Technology;2006

4. From Conditional Specifications to Interaction Charts;Formal Methods in Software and Systems Modeling;2005

5. MultiMedia Instruction in Safe and Secure Systems;Recent Trends in Algebraic Development Techniques;2003