| ||
1. | Heterogeneous Logical Environments for Distributed Specifications
LECTURE NOTES IN COMPUTER SCIENCE Vol. 5486 yr. 2009, pp. 266-289 (Conference article) Till Mossakowski, Andrzej Tarlecki | |
2. | Preface
THEORETICAL COMPUTER SCIENCE Vol. 410 Nr 18 yr. 2009, pp. (Article) Lars Arge, Christian Cachin, Andrzej Tarlecki | |
3. | Preface
LECTURE NOTES IN COMPUTER SCIENCE Vol. 5728 yr. 2009, pp. 6-8 (Other) A. Kurz (Foreword author), M. Lenisa (Foreword author), Andrzej Tarlecki (Foreword author) | |
4. | What is a Logic Translation?
LOGICA UNIVERSALIS Vol. 3 yr. 2009, pp. 95-124 (Article) R. Diaconescu, T. Mossakowski, Andrzej Tarlecki | |
5. | Observational interpretation of Casl specifications
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE Vol. 18 Nr 2 yr. 2008, pp. 325-371 (Article) Michel Bidoit, Donald Sannella, Andrzej Tarlecki | |
6. | Toward specifications for reconfigurable component systems
LECTURE NOTES IN COMPUTER SCIENCE Vol. 4546 yr. 2007, pp. 24-28 (Conference article) Andrzej Tarlecki | |
7. | Horizontal composability revisited
LECTURE NOTES IN COMPUTER SCIENCE Vol. 4060 yr. 2006, pp. 296-316 (Article) Don Sannella, Andrzej Tarlecki | |
8. | A Simple Refinement Language for CASL
LECTURE NOTES IN COMPUTER SCIENCE Vol. 3423 yr. 2005, pp. 162-185 (Conference article) Till Mossakowski, Don Sannella, Andrzej Tarlecki | |
9. | Amalgamation in the semantics of CASL
THEORETICAL COMPUTER SCIENCE Vol. 331 yr. 2005, pp. 215-247 (Article) Lutz Schroeder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, Bartosz Klin | |
10. | A Simple Refinement Language for CASL
LECTURE NOTES IN COMPUTER SCIENCE Vol. 3423 yr. 2004, pp. 162-185 (Conference article) Till Mossakowski, Don Sannella, Andrzej Tarlecki | |
11. | CASL Semantics
LECTURE NOTES IN COMPUTER SCIENCE Vol. 2960 yr. 2004, pp. 115-273 (Conference article) Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter Mosses, Don Sannella, Andrzej Tarlecki | |
12. | Editorial
INFORMATION PROCESSING LETTERS Vol. 90 yr. 2004, pp. 1-2 (Other) Andrzej Tarlecki | |
13. | Foundations. In: CASL User Manual
LECTURE NOTES IN COMPUTER SCIENCE Vol. 2900 yr. 2004, pp. 125-129 (Article) Don Sannella, Andrzej Tarlecki | |
14. | Toward component-oriented formal software development: an algebraic approach
LECTURE NOTES IN COMPUTER SCIENCE Vol. 2941 yr. 2004, pp. 75-90 (Conference article) Michel Bidoit, Don Sannella, Andrzej Tarlecki | |
15. | CASL --- The Common Algebraic Specification Language: semantics and proof theory
COMPUTING AND INFORMATICS Vol. 22 yr. 2003, pp. 285-321 (Article) Till Mossakowski, Anne Haxthausen, Donald Sannella, Andrzej Tarlecki | |
16. | Architectural Specifications in CASL
Formal Aspects of Computing Vol. 13 yr. 2002, pp. 252-273 (Article) Andrzej Tarlecki, Michel Bidoit, Don Sannella | |
17. | CASL: The Common Algebraic Specification Language
THEORETICAL COMPUTER SCIENCE Vol. 286 Nr 2 yr. 2002, pp. 153-196 (Article) Andrzej Tarlecki, E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brueckner, P. Mosses, D. Sannella | |
18. | Global Development via Local Observational Construction Steps
LECTURE NOTES IN COMPUTER SCIENCE Vol. 2420 yr. 2002, pp. 1-24 (Article) M. Bidoit, D. Sannella, Andrzej Tarlecki | |
19. | Amalgamation in CASL via enriched signatures
LECTURE NOTES IN COMPUTER SCIENCE Nr 2076 yr. 2001, pp. 993-1004 (Article) Andrzej Tarlecki, T. Mossakowski, L. Schroeder | |
20. | Checking amalgamability conditions for CASL architectural specifications
LECTURE NOTES IN COMPUTER SCIENCE Nr 2136 yr. 2001, pp. 451-463 (Article) Andrzej Tarlecki, Piotr Hoffman, B. Klin, A. Schroeder, T. Mossakowski | |
21. | First order specifications of programmable data types
SIAM JOURNAL ON COMPUTING Vol. 30 yr. 2001, pp. 2084-2096 (Article) Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki | |
22. | Semantics of architectural specifications in CASL
LECTURE NOTES IN COMPUTER SCIENCE Nr 2029 yr. 2001, pp. 253-266 (Article) Andrzej Tarlecki, Piotr Hoffman, B. Klin, A. Schroeder, T. Mossakowski | |
23. | Constructive data refinement in typed lambda calculus
LECTURE NOTES IN COMPUTER SCIENCE Vol. 1784 yr. 2000, pp. 161-177 (Article) Andrzej Tarlecki, F Honsell, J Longley, D Sannella | |
| ||
24. | Foundations of Algebraic Specification and Formal Software Development
Springer, r. 2012 (Book) Donald Sannella, Andrzej Tarlecki | |
25. | Special issue on Algebra and Coalgebra in Computer Science (CALCO 2009)
, r. 2011 (Book) Alexander Kurz (Editor), Andrzej Tarlecki (Editor) |