Cross-References for CoFI Publications

Edited by Peter D. Mosses

March 8, 2004

This document is available in various formats from the CoFI archives at ftp://ftp.brics.dk/Projects/CoFI/Bibliography/Crossrefs/.

Copyright ©2004 CoFI, The Common Framework Initiative for Algebraic Specification and Development.¹

Abstract

This bibliography lists the cross-referenced entries in the files cofi.bib (and cofi-abbr.bib), in the order in which they occur, showing their citation tags. See the changes document for a list of changes.

References

 [AMAST-97]

M. Johnson, editor.
Algebraic Methodology and Software Technology, 6th International Conference, AMAST'97, Sydney, Australia, Proceedings, LNCS Vol. 1349. Springer, 1997.

 [AMAST-98]

A. M. Haeberer, editor.
Algebraic Methodology and Software Technology, 7th International Conference, AMAST'98, Amazonia, Brazil, January 1999, Proceedings, LNCS Vol. 1548. Springer, 1998.

 [AMAST-2000]

T. Rus, editor.
Algebraic Methodology and Software Technology, 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, Proceedings, LNCS Vol. 1816. Springer, 2000.

 [AMAST-2002]

H. Kirchner and C. Ringeissen, editors.
Algebraic Methods and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, Proceedings, LNCS Vol. 2422. Springer, 2002.

 [AMILP-2000]

D. Heylen, A. Nijholt, and G. Scollo, editors.
Algebraic Methods in Language Processing, AMiLP 2000, TWLT Vol. 16. Univ. of Twente, 2000.

 [AMILP-2003]

F. Spoto, G. Scollo, and A. Nijholt, editors.
Algebraic Methods in Language Processing, AMiLP 2003, TWLT Vol. 21. Univ. of Twente, 2003.

 [AS-2000]

P. D. Mosses and H. Moura, editors.
AS 2000, Third International Workshop on Action Semantics, Recife, Brazil, Proceedings, BRICS NS-00-6. Dept. of Computer Science, Univ. of Aarhus, 2000.

 [ASF+SDF-97]

M. P. A. Sellink, editor.
ASF+SDF'97, Proc. 2nd Intl. Workshop on the Theory and Practice of Algebraic Specifications, volume ASFSDF-97 of Electronic Workshops in Computing. British Computer Society, 1997.

 [CAFE-2000]

K. Futatsugi, A. T. Nakagawa, and T. Tamai, editors.
CAFE: An Industrial-Strength Algebraic Formal Method. Elsevier, 2000.

 [CASL-RM]

CoFI (The Common Framework Initiative).
Casl Reference Manual.
LNCS Vol. 2960 (IFIP Series). Springer, 2004.

 [CMCS-2003]

H. P. Gumm, editor.
Coalgebraic Methods in Computer Science, CMCS'03, Warsaw, Poland, Proceedings, ENTCS Vol. 82.1. Elsevier, 2003.

 [CSL-2003]

M. Baaz and J. M. Makowsky, editors.
Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, Proceedings, LNCS Vol. 2803. Springer, 2003.

 [CTCS-2002]

R. Blute and P. Selinger, editors.
Category Theory and Computer Science, CTCS'02, ENTCS Vol. 69. Elsevier, 2003.

 [EATCS-2001]

G. Paun, G. Rozenberg, and A. Salomaa, editors.
Current Trends in Theoretical Computer Science: Entering the 21st Century.
World Scientific, 2001.

 [FACIT-2000]

M. Frappier and H. Habrias, editors.
Software Specification Methods: An Overview Using a Case Study, FACIT (Formal Approaches to Computing and Information Technology). Springer, 2000.

 [FASE-99]

J.-P. Finance, editor.
Fundamental Approaches to Software Engineering, Second International Conference, FASE'99, Amsterdam, The Netherlands, Proceedings, LNCS Vol. 1577. Springer, 1999.

 [FASE-2000]

T. Maibaum, editor.
Fundamental Approaches to Software Engineering, Third International Conference, FASE 2000, Berlin, Germany, Proceedings, LNCS Vol. 1783. Springer, 2000.

 [FASE-2001]

H. Hussmann, editor.
Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001, Genova, Italy, Proceedings, LNCS Vol. 2029. Springer, 2001.

 [FASE-2003]

M. Pezzè, editor.
Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Warsaw, Poland, Proceedings, LNCS Vol. 2621. Springer, 2003.

 [FMPPTA-2002]

Proc. of the 7th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'02, USA, 2002. IEEE Press.

 [FROCOS-2002]

A. Armando, editor.
Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, Proceedings, LNCS Vol. 2309. Springer, 2002.

 [ICALP-2001]

F. Orejas, P. G. Spirakis, and J. van Leeuwen, editors.
Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, Proceedings, LNCS Vol. 2076. Springer, 2001.

 [IFIP-AFS]

E. Astesiano, H.-J. Kreowski, and B. Krieg-Brückner, editors.
Algebraic Foundations of Systems Specification.
IFIP State-of-the-Art Reports. Springer, 1999.

 [IFM-2000]

W. Grieskamp, T. Santen, and B. Stoddart, editors.
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, Proceedings, LNCS Vol. 1945. Springer, 2000.

 [LOPSTR-99]

A. Bossi, editor.
Logic-Based Program Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venice, Italy, 1999 Selected Papers, LNCS Vol. 1817. Springer, 2000.

 [MFCS-2001]

J. Sgall, A. Pultr, and P. Kolman, editors.
Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001, Marianske Lazne, Czech Republic, Proceedings, LNCS Vol. 2136. Springer, 2001.

 [MFCS-2002]

K. Diks and W. Rytter, editors.
Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, Proceedings, LNCS Vol. 2420. Springer, 2002.

 [PSI-99]

D. Bjørner, M. Broy, and A. V. Zamulin, editors.
Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, Proceedings, LNCS Vol. 1755. Springer, 2000.

 [TACAS-2000]

S. Graf and M. Schwartzbach, editors.
Tools and Algorithms for the Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Berlin, Germany, Proceedings, LNCS Vol. 1785. Springer, 2000.

 [TAPSOFT-97]

M. Bidoit and M. Dauchet, editors.
TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, Proceedings, LNCS Vol. 1214. Springer, 1997.

 [WADT-97]

F. Parisi-Presicce, editor.
Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, 1997, Selected Papers, LNCS Vol. 1376. Springer, 1998.

 [WADT-98]

J. L. Fiadeiro, editor.
Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, 1998, Selected Papers, LNCS Vol. 1589. Springer, 1999.

 [WADT-99]

D. Bert, C. Choppy, and P. D. Mosses, editors.
Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Château de Bonas, France, 1999, Selected Papers, LNCS Vol. 1827. Springer, 2000.

 [WADT-2001]

M. Cerioli and G. Reggio, editors.
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, 2001, Selected Papers, LNCS Vol. 2267. Springer, 2001.

 [WADT-2002]

M. Wirsing, D. Pattinson, and R. Hennicker, editors.
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, LNCS Vol. 2755. Springer, 2003.