38 search results - page 8 / 8 » Non-interleaving bisimulation equivalences on Basic Parallel... |
CONCUR
2008
Springer
14 years 19 days ago
2008
Springer
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computat...
FUIN
2008
13 years 11 months ago
2008
We show that timed branching bisimilarity as defined by Van der Zwaag [16] and Baeten and Middelburg [2] is not an equivalence relation, in case of a dense time domain. We propose ...
CONCURRENCY
2000
13 years 10 months ago
2000
When comparing OpenMP to other parallel programming models, it is easier to choose between OpenMP and MPI than between OpenMP and POSIX Threads (Pthreads). With languages like C a...