6. AMAST 1997: Sydney, Australia
- Michael Johnson:
Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings. Lecture Notes in Computer Science 1349, Springer 1997, ISBN 3-540-63888-1 - Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes:
Iteration 2-Theories: Extended Abstract. 30-44 - Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi:
Deadlock Analysis for a Fault-Tolerant System. 60-74 - Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing:
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. 75-90 - Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski:
Permissive Subsorted Partial Logic in CASL. 91-107 - Antonio Cerone, George J. Milne:
Specification of Timing Constraints within the Circal Process Algebra. 108-122 - Xiao Jun Chen, Flavio Corradini:
On the Specification and Verification of Performance Properties for a Timed Process Algebra. 123-137 - Patrick Cousot, Radhia Cousot:
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). 138-154 - Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas:
A Linear Temporal Logic Approach to Objects with Transactions. 170-184 - Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka:
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. 185-198 - Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant:
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations. 216-230 - Roberto Giacobazzi, Francesco Ranzato:
Completeness in Abstract Interpretation: A Domain Perspective. 231-245 - Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
Span(Graph): A Categorial Algebra of Transition Systems. 307-321 - Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
Representing Place/Transition Nets in Span(Graph). 322-336 - Nicole Lévy, Jeanine Souquières:
Modelling Specification Construction by Successive Approximations. 351-364 - Frank Piessens, Eric Steegmans:
Selective Attribute Elimination for Categorial Data Specifications. 424-436 - Sreeranga P. Rajan, Masahiro Fujita:
ATM Switch Design: Parametric High-Level Modeling and Formal Verification. 437-450 - Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro:
Synchronization of Logics with Mixed Rules: Completeness Preservation. 465-478
Systems and Tools Demonstrations
- José João Almeida, Luís Soares Barbosa, F. L. Neves, José Nuno Oliveira:
CAMILA: Prototyping and Refinement of Constructive Specifications. 554-559 - Maris A. Ozols, Katherine A. Eastaughffe, Anthony Cant:
DOVE: A Tool for Design Oriented Verification and Evaluation. 574-575 - Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima:
An Algebraic Language Processing Environment. 581-585 - Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman:
The Cogito Development System. 586-591