8699 search results - page 198 / 1740 » Elements of the Theory of Computation |
178
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
159
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
We prove that if a finite alphabet of actions contains at least two elements, then the equational theory for the process algebra BCCSP modulo any semantics no coarser than readines...
171
click to vote
INTERACT
2003
15 years 8 months ago
2003
: This paper explores the theories and practices underpinning Virtual Immersion, a discount technique proposed to help designers gain deep understanding of, and empathise with, the...
135
click to vote
AML
2008
15 years 6 months ago
2008
This article defines a hierarchy on the hereditarily finite sets which reflects the way sets are built up from the empty set by repeated adjunction, the addition to an already exis...
203
click to vote
LOGCOM
2010
15 years 5 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...