Recent trends in algebraic development techniques. 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24--27, 2002. Revised selected papers (Q1416851)

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 0984.00054). Indexed articles: \textit{Arbab, F.; Rutten, J. J. M. M.}, A coinductive calculus of component connectors., 34-55 [Zbl 1278.68200] \textit{Aspinall, David}, Type checking parametrised programs and specifications in \(\text{ASL}+_{\text{FPC}}\)., 129-144 [Zbl 1278.68201] \textit{Baldan, Paolo; Bruni, Roberto; Montanari, Ugo}, Pre-nets, read ARCS and unfolding: A functorial presentation., 145-164 [Zbl 1278.68210] \textit{Baldan, Paolo; Corradini, Andrea; Montanari, Ugo; Ribeiro, Leila}, Coreflective concurrent semantics for single-pushout graph grammars., 165-184 [Zbl 1278.68117] \textit{Caleiro, C.; Gouveia, P.; Ramos, J.}, Completeness results for fibred parchments. Beyond the propositional base, 185-200 [Zbl 1278.03094] \textit{Goguen, Joseph A.; Lin, Kai; Roşu, Grigore}, Conditional circular coinductive rewriting with case analysis., 216-232 [Zbl 1278.68121] \textit{Hoffman, Piotr}, Verifying generative Casl architectural specifications., 233-252 [Zbl 1278.68204] \textit{Hoffmann, Kathrin; Mossakowski, Till}, Algebraic higher-order nets: graphs and Petri nets as tokens., 253-267 [Zbl 1278.68215] \textit{Hughes, Jesse; Warnier, Martijn}, The coinductive approach to verifying cryptographic protocols., 268-283 [Zbl 1278.94052] \textit{Katsumata, Shin-ya}, Behavioural equivalence and indistinguishability in higher-order typed languages., 284-298 [Zbl 1278.68205] \textit{Kreowski, Hans-Jörg; Kuske, Sabine}, Approach-independent structuring concepts for rule-based systems., 299-311 [Zbl 1278.68122] \textit{Kurz, Alexander}, Notions of behaviour and reachable-part and their institutions., 312-327 [Zbl 1278.68206] \textit{Lamo, Yngve; Walicki, Michał}, Combining specification formalisms in the `general logic' of multialgebras., 328-342 [Zbl 1278.68207] \textit{Mossakowski, Till}, Foundations of heterogeneous specification., 359-375 [Zbl 1278.68208] \textit{Mossakowski, Till; Reichel, Horst; Roggenbach, Markus; Schröder, Lutz}, Algebraic-coalgebraic specification in CoCasl., 376-392 [Zbl 1278.68209] \textit{Pattinson, Dirk}, Translating logics for coalgebras., 393-408 [Zbl 1278.03095] \textit{Pawłowski, Wiesław}, Presenting and combining inference systems. Presentations with inference rules, 409-424 [Zbl 1278.03096] \textit{Schröder, Lutz; Mossakowski, Till}, Monad-independent dynamic logic in HasCasl., 425-441 [Zbl 1278.68061] \textit{Urbášek, Milan}, Preserving properties in system redesign: rule-based approach., 442-456 [Zbl 1278.68225]