182 search results - page 1 / 37 » Infinite Possibilities |
JUCS
2010
13 years 3 months ago
2010
: Interval algebra networks are traditionally defined over finite intervals. In this paper, we relax this restriction by allowing one or more of the intervals involved to be infini...
FOSSACS
2004
Springer
13 years 8 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...
CGA
2006
13 years 4 months ago
2006
SAS
2000
Springer
13 years 8 months ago
2000
Springer
We present a new representation for possibly infinite sets of possibly infinite trees. This representation makes extensive use of sharing to achieve efficiency. As much as possible...
INFORMATICALT
2008
13 years 4 months ago
2008
Abstract. A new computational methodology for executing calculations with infinite and infinitesimal quantities is described in this paper. It is based on the principle `The part i...