Algebraic Methodology and Software Technology

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