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