Algebraic Methodology and Software Technology

About this book

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