Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 -
3 of
3
Uniform logical characterizations of testing equivalences for nondeterministic, probabilistic and Markovian processes
- In Proc. of the 7th Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), volume 253(3) of ENTCS
, 2009
"... Logical characterizations of nondeterministic, probabilistic, and Markovian variants of bisimulation equiva-lence rely on similar modal languages, each including true, negation, conjunction, and diamond. Likewise, logical characterizations of the corresponding variants of trace equivalence rely on s ..."
Abstract
-
Cited by 3 (3 self)
- Add to MetaCart
of testing equivalences for fully nonde-terministic processes, fully probabilistic processes, and fully Markovian processes without silent moves can be harmonized by means of a modal language comprising true, disjunction, and diamond.
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
"... We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable. For every equivalence under study, we examine the discriminating power of three variants stemming from three approaches that differ for t ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
We present a spectrum of trace-based, testing, and bisimulation equivalences for nondeterministic and probabilistic processes whose activities are all observable. For every equivalence under study, we examine the discriminating power of three variants stemming from three approaches that differ
Fast algorithmic self-assembly of simple shapes using random agitation
"... We study the power of uncontrolled random molecular movement in the nubot model of self-assembly. The nubot model is an asynchronous nondeterministic cellular automaton augmented with rigid-body movement rules (push/pull, deterministically and programmatically applied to specific monomers) and rando ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
) and random agitations (nonde-terministically applied to every monomer and direction with equal probability all of the time). Previous work on the nubot model showed how to build simple shapes such as lines and squares quickly—in expected time that is merely logarithmic of their size. These results crucially
