TAPSOFT
1997
Springer
14 years 3 days ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
TAPSOFT
1997
Springer
14 years 3 days ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
TAPSOFT
1997
Springer
14 years 3 days ago
1997
Springer
TAPSOFT
1997
Springer
14 years 3 days ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
TACS
1997
Springer
14 years 3 days ago
1997
Springer
TACS
1997
Springer
14 years 3 days ago
1997
Springer
TACS
1997
Springer
14 years 3 days ago
1997
Springer
TACS
1997
Springer
14 years 3 days ago
1997
Springer
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
TACS
1997
Springer
14 years 3 days ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
SEE
1997
Springer
14 years 3 days ago
1997
Springer
A concise object-oriented method for the development of real-time systems has been composed. Hardware components are modelled by (sofnuare) base objects; base objects are controll...