Algebraic methodology and software technology. 6th international conference, AMAST '97, Sidney, Australia, December 13--17, 1997. Proceedings
type: Item
instance of: scholarly article
title: Algebraic methodology and software technology. 6th international conference, AMAST '97, Sidney, Australia, December 13--17, 1997. Proceedings
zbMATH Open document ID: 0879.00059
published in: Lecture Notes in Computer Science
publication date: 1997-12-22T00:00:00Z
review text: 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]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 18-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1099321
zbMATH Keywords: Sidney (Australia)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: AMAST '97
zbMATH Keywords: Algebraic methodology
zbMATH Keywords: Software technology
MaRDI profile type: Publication
Recommended article: Algebraic methodology and software technology. Selected papers of the 5th international conference, AMAST '96, Munich, Germany, July 1--5, 1996
Recommended article: Algebraic methodology and software technology. 5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996. Proceedings
Recommended article: Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5--8, 2006. Proceedings.
Recommended article: Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
Recommended article: Algebraic methodology and software technology. 4th international conference, AMAST '95, Montreal, Canada, July 3--7, 1995. Proceedings
Recommended article: Algebraic methodology and software technology. 12th international conference, AMAST 2008, Urbana, IL, USA, July 28--31, 2008. Proceedings
Recommended article: Algebraic methodology and software technology. 8th international conference, selected papers from AMAST 2000, Iowa City, Iowa, USA, May 20--27, 2000
Recommended article: Algebraic methodology and software technology. 8th international conference, AMAST 2000, Iowa City, IA, USA, May 20--27, 2000. Proceedings
description: scientific article; zbMATH DE number 1099321