7. AMAST 1998: Amazonia, Brasil

@proceedings{DBLP:conf/amast/1998,
  editor    = {Armando Martin Haeberer},
  title     = {Algebraic Methodology and Software Technology, 7th International
               Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
  booktitle = {AMAST},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1548},
  year      = {1999},
  isbn      = {3-540-65462-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks (Extended Abstracts)

• Zhou Chaochen:
  Duration Calculus, a Logical Approach to Real-Time Systems. 1-7
  
• Don Pigozzi:
  Abstract Algebraic Logic. 8-16
  
• T. S. E. Maibaum, Pauline Kan, Kevin Lano:
  Systematising Reactive System Design. 17-22
  
• Pamela Zave:
  Systematic Design of Call-Coverage Features. 23-27
  
• Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe:
  Visual Abstractions for Temporal Verification. 28-41
  
• Glynn Winskel:
  A Linear Metalanguage for Concurrency. 42-58
  

Session 1

• Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff:
  Verification of Bounded Delay Asynchronous Circuits with Timed Traces. 59-73
  
• Jan Friso Groote, Radu Mateescu:
  Verification of Temporal Properties of Processes in a Setting with Data. 74-90
  
• Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum:
  A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. 91-105
  
• Grégoire Sutre, Alain Finkel, Olivier Roux, Franck Cassez:
  Effective Recognizability and Model Checking of Reactive Fiffo Automata. 106-123
  
• Bettina Buth, Jan Peleska, Hui Shi:
  Combining Methods for the Livelock Analysis of a Fault-Tolerant System. 124-139
  

Session 2

• Bernhard Heinemann:
  Separating Sets by Modal Formulas. 140-153
  
• Maarten Marx:
  Interpolation in Modal Logic. 154-163
  
• Valeria de Paiva, Andrea Schalk:
  Building Models of Linear Logic. 164-177
  
• W. Marco Schorlemmer:
  Term Rewriting in a Logic of Special Relations. 178-195
  
• Jo Erskine Hannay:
  Abstraction Barriers in Equational Proof. 196-213
  

Session 3

• Mourad Debbabi, Abdelkader Benzakour, Béchir Ktari:
  A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes. 214-230
  
• Jürgen Dingel:
  A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. 231-247
  
• Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman:
  Consistency of Partial Process Specifications. 248-262
  
• Rolf Hennicker, Michel Bidoit:
  Observational Logic. 263-277
  
• Rob J. van Glabbeek, Peter Rittgen:
  Scheduling Algebra. 278-292
  

Session 4

• José Luiz Fiadeiro, Antónia Lopes:
  Algebraic Semantics of Coordination or What Is in a Signature. 293-307
  
• Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda:
  An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. 308-324
  
• Pietro Cenciarelli:
  An Algebraic View of Program Composition. 325-340
  
• Michel Bidoit, Donald Sannella, Andrzej Tarlecki:
  Architectural Specifications in CASL. 341-357
  
• Paola Quaglia:
  Pi-Congruences as CCS Equivalences. 358-372
  

Session 5

• Hélène Kirchner, Peter D. Mosses:
  Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. 373-388
  
• Wlodzimierz Drabent, Pawel Pietrzak:
  Type Analysis for CHIP. 389-405
  
• Martin Erwig:
  Categorical Programming with Abstract Data Types. 406-421
  
• Blas C. Ruiz Jiménez:
  Condensing Lemmas for Pure Type Systems with Universes. 422-437
  
• Jesús Manuel Almendros-Jiménez:
  Improving Computations in a Typed Functional Logic Language. 438-454
  

Session 6

• Fausto Spoto, Giorgio Levi:
  Abstract Interpretation of Prolog Programs. 455-470
  
• Roberto Bagnara, Peter Schachte:
  Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. 471-485
  
• Alfio Martini, Uwe Wolter:
  A Single Perspective on Arrows between Institutions. 486-501
  
• Patrícia D. L. Machado:
  On Oracles for Interpreting Test Results against Algebraic Specifications. 502-518
  

Systems and Tool Demonstrations

• Zoltan Gassmann, Luis Mandel, Roshan Sembacuttiaratchy:
  RECOPLA: An Extendible Graphic Meta-Editor. 519-521
  
• Bernd Grahlmann:
  The State of PEP. 522-526
  
• Hermano Perrelli de Moura, Luis Carlos de Sousa Menezes:
  The ABACO System - An Algebraic Based Action COmpiler. 527-529
  

Last update Tue Feb 14 03:48:20 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page