Algebraic methodology and software technology. 6th international conference, AMAST '97, Sidney, Australia, December 13--17, 1997. Proceedings (Q1374897)

The articles of mathematical interest will be reviewed individually. The preceding conference (5th, 1996) has been announced (see Zbl 0851.00082). Indexed articles: \textit{Bloom, Stephen L.; Labella, Anna; Ésik, Zoltán; Manes, Ernest G.}, Iteration 2-theories. (Extended abstract), 30-44 [Zbl 0885.18003] \textit{Cerioli, Maura; Haxthausen, Anne; Krieg-Brückner, Bernd; Mossakowski, Till}, Permissive subsorted partial logic in CASL, 91-107 [Zbl 0886.03022] \textit{Katis, Piergiolio; Sabadini, N.; Walters, R. F. C.}, Span(Graph): A categorical algebra of transition systems, 307-321 [Zbl 0885.18004] \textit{Katis, Piergiulio; Sabadini, N.; Walters, R. F. C.}, Representing place/transition nets in Span(Graph), 322-336 [Zbl 0885.18005] \textit{Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos}, Synchronization of logics with mixed rules: Completeness preservation, 465-478 [Zbl 0886.03043] \textit{Simons, Martin; Sintzoff, Michel}, Algebraic composition and refinement of proofs, 494-508 [Zbl 0886.03009]