CONCUR
1998
Springer
13 years 12 months ago
1998
Springer
CONCUR
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
CONCUR
1998
Springer
13 years 12 months ago
1998
Springer
CONCUR
1998
Springer
13 years 12 months ago
1998
Springer
CONCUR
1998
Springer
13 years 12 months ago
1998
Springer
CONCUR
1998
Springer
13 years 12 months ago
1998
Springer
Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system compo...
CONCUR
1998
Springer
13 years 12 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
CONCUR
1998
Springer
13 years 12 months ago
1998
Springer
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
PODC
1998
ACM
13 years 12 months ago
1998
ACM
ÐIn this paper, we explore techniques to detect Byzantine server failures in asynchronous replicated data services. Our goal is to detect arbitrary failures of data servers in a s...
PODC
1998
ACM
13 years 12 months ago
1998
ACM
: We present a new model for handling messages and state in a distributed application that we call Messages in Local Transactions (MLT). Under this model, messages and data are not...