Algebraic Methodology and Software Technology

Description

Algebraic Methodology and Software Technology: 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings<br />Author: Armando M. Haeberer<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-65462-9<br /> DOI: 10.1007/3-540-49253-4<br /><br />Table of Contents:<p></p><ul><li>Duration Calculus, a Logical Approach to Real-Time Systems </li><li>Abstract Algebraic Logic </li><li>Systematising Reactive System Design </li><li>Systematic Design of Call-Coverage Features </li><li>Visual Abstractions for Temporal Verification </li><li>A Linear Metalanguage for Concurrency </li><li>Verification of Bounded Delay Asynchronous Circuits with Timed Traces </li><li>Verification of Temporal Properties of Processes in a Setting with Data </li><li>A Logic for Real-Time Systems Specification Its Algebraic Semantics and Equational Calculus </li><li>Effective Recognizability and Model Checking of Reactive Fiffo Automata </li><li>Combining Methods for the Livelock Analysis of a Fault-Tolerant System </li><li>Separating Sets by Modal Formulas </li><li>Interpolation in Modal Logic </li><li>Building Models of Linear Logic </li><li>Term Rewriting in a Logic of Special Relations </li><li>Abstraction Barriers in Equational Proof </li><li>A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes </li><li>A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs </li><li>Consistency of Partial Process Specifications </li><li>Observational Logic</li></ul>

First Sentence

Let us consider the following two cases of real-time systems.

Subjects