946 search results - page 140 / 190 » Process Algebra and Non-Interference |
140
Voted
FOSSACS
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
121
click to vote
ICALP
1998
Springer
15 years 5 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
105
Voted
ATS
1997
IEEE
15 years 5 months ago
1997
IEEE
Testing circuits which do not include a global reset signal requires either complex ATPG algorithms based on 9- or even 256-valued algebras, or some suitable method to generate in...
113
click to vote
PLILP
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
123
Voted
SAC
1997
ACM
15 years 5 months ago
1997
ACM
Infomaster is an information integration system. It provides integrated access to distributed, heterogeneous information sources, thus giving its users the illusion of a centraliz...