CONCUR
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
CONCUR
1997
Springer
14 years 3 months ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
CONCUR
1997
Springer
14 years 3 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
ICDCS
1996
IEEE
14 years 3 months ago
1996
IEEE
ICDCS
1996
IEEE
14 years 3 months ago
1996
IEEE
Access to large numbers of data sources introduces new problems for users of heterogeneous distributed databases. End users and application programmers must deal with unavailable ...
ICDCS
1996
IEEE
14 years 3 months ago
1996
IEEE
ICDCS
1996
IEEE
14 years 3 months ago
1996
IEEE
In a distributed environment where nodes are independently motivated, many transactions or commercial exchanges may be stymied due to a lack of trust between the participants. The...
ICDCS
1996
IEEE
14 years 3 months ago
1996
IEEE
This paper presents a detailed comparison of the relative importance of allowing concurrent writers versus the choice of the underlying consistency model. Our comparison is based ...
ICDCS
1996
IEEE
14 years 3 months ago
1996
IEEE
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messag...
ICDCS
1996
IEEE
14 years 3 months ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...