ask others

6. AMAST 1997: Sydney, Australia

> Home > Conferences and Workshops > AMAST

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/1997
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/1997
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/LamineP97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/LamineP97
Slim Ben Lamine, John Plaice:
Software Configuration with Information Systems. 1-15
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Bertot97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Bertot97
Yves Bertot:
Head-Tactics Simplification. 16-29
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/BloomLEM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/BloomLEM97
Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes:
Iteration 2-Theories: Extended Abstract. 30-44
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/BrunsS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/BrunsS97
Glenn Bruns, Ian Sutherland:
Model Checking and Fault Tolerance. 45-59
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/ButhKPS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/ButhKPS97
Bettina Buth, Michel Kouvaras, Jan Peleska, Hui Shi:
Deadlock Analysis for a Fault-Tolerant System. 60-74
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/CenciarelliKRW97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/CenciarelliKRW97
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing:
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. 75-90
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/CerioliHKM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/CerioliHKM97
Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski:
Permissive Subsorted Partial Logic in CASL. 91-107
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/CeroneM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/CeroneM97
Antonio Cerone, George J. Milne:
Specification of Timing Constraints within the Circal Process Algebra. 108-122
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/ChenC97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/ChenC97
Xiao Jun Chen, Flavio Corradini:
On the Specification and Verification of Performance Properties for a Timed Process Algebra. 123-137
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/CousotC97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/CousotC97
Patrick Cousot, Radhia Cousot:
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). 138-154
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/GrootR97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/GrootR97
Martin de Groot, Ken Robinson:
Modular Refinement and Model Building. 155-169
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/DenkerRCS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/DenkerRCS97
Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas:
A Linear Temporal Logic Approach to Objects with Transactions. 170-184
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/DuMNRS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/DuMNRS97
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
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Fidge97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Fidge97
Colin J. Fidge:
Refinement Rules for Real-Time Multi-tasking Programs. 199-215
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/FranceBLG97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/FranceBLG97
Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant:
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations. 216-230
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/GiacobazziR97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/GiacobazziR97
Roberto Giacobazzi, Francesco Ranzato:
Completeness in Abstract Interpretation: A Domain Perspective. 231-245
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Harrison97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Harrison97
John Harrison:
Floating Point Verification in HOL Light: The Exponential Function. 246-260
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Hooman97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Hooman97
Jozef Hooman:
Verification of Distributed Real-Time and Fault-Tolerant Protocols. 261-275
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Jacobs97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Jacobs97
Bart Jacobs:
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. 276-291
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Janowski97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Janowski97
Tomasz Janowski:
On Bisimulation, Fault-Monotonicity and Provable Fault-Tolerance. 292-306
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/KatisSW97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/KatisSW97
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
Span(Graph): A Categorial Algebra of Transition Systems. 307-321
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/KatisSW97a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/KatisSW97a
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
Representing Place/Transition Nets in Span(Graph). 322-336
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Lesens97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Lesens97
David Lesens:
Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints. 337-350
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/LevyS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/LevyS97
Nicole Lévy, Jeanine Souquières:
Modelling Specification Construction by Successive Approximations. 351-364
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/LimetS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/LimetS97
Sébastien Limet, Frédéric Saubion:
On Partial Validation of Logic Programs. 365-379
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/LopesF97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/LopesF97
Antónia Lopes, José Luiz Fiadeiro:
Preservation and Reflection in Specification. 380-394
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Paige97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Paige97
Richard F. Paige:
Case Studies in Using a Meta-Method for Formal Method Integration. 395-408
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/ParrowV97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/ParrowV97
Joachim Parrow, Björn Victor:
The Update Calculus (Extended Abstract). 409-423
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/PiessensS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/PiessensS97
Frank Piessens, Eric Steegmans:
Selective Attribute Elimination for Categorial Data Specifications. 424-436
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/RajanF97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/RajanF97
Sreeranga P. Rajan, Masahiro Fujita:
ATM Switch Design: Parametric High-Level Modeling and Formal Verification. 437-450
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Schonegge97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Schonegge97
Arno Schönegge:
The Hidden Function Question Revisited. 451-464
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/SernadasSC97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/SernadasSC97
Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro:
Synchronization of Logics with Mixed Rules: Completeness Preservation. 465-478
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/ShanklandT97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/ShanklandT97
Carron Shankland, Muffy Thomas:
Symbolic Bisimulation for Full LOTOS. 479-493
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/SimonsS97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/SimonsS97
Martin Simons, Michel Sintzoff:
Algebraic Composition and Refinement of Proofs. 494-508
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/TelfordT97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/TelfordT97
Alastair J. Telford, David Turner:
Ensuring Streams Flow. 509-523
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/UlidowskiY97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/UlidowskiY97
Irek Ulidowski, Shoji Yuen:
Extending Process Languages with Time. 524-538
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/WangH97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/WangH97
Farn Wang, Pao-Ann Hsiung:
Parametric Analysis of Computer Systems. 539-553

Systems and Tools Demonstrations

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/AlmeidaBNO97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/AlmeidaBNO97
José João Almeida, Luís Soares Barbosa, F. L. Neves, José Nuno Oliveira:
CAMILA: Prototyping and Refinement of Constructive Specifications. 554-559
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Buth97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Buth97
Bettina Buth:
PAMELA + PVS. 560-562
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/CeroneCM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/CeroneCM97
Antonio Cerone, Alex J. Cowie, George J. Milne:
The Circal System. 563-564
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Davies97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Davies97
Rowan Davies:
Refinement-Type Checker for Standard ML. 565-566
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/GrundyL97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/GrundyL97
Jim Grundy, Thomas Långbacka:
Recording HOL Proofs in a Structured Browsable Format. 567-571
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Low97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Low97
C. K. Low:
Analysing Multi-Agent System Traces with IDaF. 572-573
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/OzolsEC97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/OzolsEC97
Maris A. Ozols, Katherine A. Eastaughffe, Anthony Cant:
DOVE: A Tool for Design Oriented Verification and Evaluation. 574-575
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/Robinson97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/Robinson97
Ken Robinson:
The B Method and the B Toolkit. 576-580
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/RusHWK97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/RusHWK97
Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima:
An Algebraic Language Processing Environment. 581-585
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/amast/TraynorHKMNW97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/amast/TraynorHKMNW97
Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman:
The Cogito Development System. 586-591

maintained by

, founded at