default search action
7. AMAST 1998: Amazonia, Brasil
- Armando Martin Haeberer:
Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings. Lecture Notes in Computer Science 1548, Springer 1999, ISBN 3-540-65462-3
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
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 F. 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
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
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
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
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
Architectural Specifications in CASL. 341-357 - Paola Quaglia
Pi-Congruences as CCS Equivalences. 358-372
Session 5
- Hélène Kirchner
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models. 373-388 - Wlodzimierz Drabent
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 01:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: