2957 search results - page 202 / 592 » Processing Self Corrections |
CONCUR
2000
Springer
14 years 2 months ago
2000
Springer
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weak late open congruenc...
CONCUR
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
JELIA
1998
Springer
14 years 1 months ago
1998
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic with exponentials. In the process we elaborate a methodology for proving mat...
RTA
2010
Springer
14 years 1 months ago
2010
Springer
Data words and data trees appear in verification and XML processing. The term “data” means that positions of the word, or tree, are decorated with elements of an infinite set...
WSC
1997
13 years 11 months ago
1997
We describe the application of simulation analysis to a complex operational problem involving scheduling, sequencing, and material-handling decisions. The manufacturing process un...