Algebraic methodology and software technology : 7th International Conference, AMAST&#039,98, Amazonia, Brazil, January 4-8, 1999 : proceedings

Algebraic Methodology and Software Technology: 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings
Author: Armando M. Haeberer
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-65462-9
DOI: 10.1007/3-540-49253-4

Table of Contents:

• Duration Calculus, a Logical Approach to Real-Time Systems
• Abstract Algebraic Logic
• Systematising Reactive System Design
• Systematic Design of Call-Coverage Features
• Visual Abstractions for Temporal Verification
• A Linear Metalanguage for Concurrency
• Verification of Bounded Delay Asynchronous Circuits with Timed Traces
• Verification of Temporal Properties of Processes in a Setting with Data
• A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus
• Effective Recognizability and Model Checking of Reactive Fiffo Automata
• Combining Methods for the Livelock Analysis of a Fault-Tolerant System
• Separating Sets by Modal Formulas
• Interpolation in Modal Logic
• Building Models of Linear Logic
• Term Rewriting in a Logic of Special Relations
• Abstraction Barriers in Equational Proof
• A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes
• A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs
• Consistency of Partial Process Specifications
• Observational Logic

Includes bibliographical references and index