STEP-INDEXED RELATIONAL REASONING FOR COUNTABLE NONDETERMINISM JAN SCHWINGHAMMER AND LARS BIRKEDAL Saarland University e-mail address: IT University of Copenhagen

Source URL: www.ps.uni-saarland.de

Random Number Selection in Self-Assembly David Doty⋆ , Jack H. Lutz⋆⋆ , Matthew J. Patitz⋆ ⋆ ⋆ , Scott M. Summers† , and Damien Woods‡ Abstract. We investigate methods for exploiting nondeterminism inhere

Source URL: web.cs.ucdavis.edu

Using Abstraction and Nondeterminism to Plan Reaction Loops David J. Musliner Institute for Advanced Computer Studies The University of Maryland College Park, Maryland 20742

Source URL: musliner.com

Rule formats for bounded nondeterminism in structural operational semantics? ´ Luca Aceto, Alvaro Garc´ıa-P´erez, and Anna Ing´olfsd´ottir ICE-TCS, School of Computer Science, Reykjav´ık University,

Source URL: www.icetcs.ru.is

Computation Power of Randomization and Nondeterminism 2 Scientific Work

Source URL: www.ite.ethz.ch

• Complexity classes
• Computational complexity theory
• Finite automata
• Models of computation
• Analysis of algorithms
• Nondeterminism
• NL
• Randomized algorithm
• Automata theory
• Theory of computation
• Communication complexity
• NP

Random Number Selection in Self-Assembly David Doty⋆ , Jack H. Lutz⋆⋆ , Matthew J. Patitz⋆ ⋆ ⋆ , Scott M. Summers† , and Damien Woods‡ Abstract. We investigate methods for exploiting nondeterminism inhere

Source URL: www.self-assembly.net

Safe Nondeterminism in a Deterministic-by-Default Parallel Language Robert L. Bocchino Jr.1 Stephen Heumann2 Nima Honarmand2 Sarita V. Adve2

Source URL: www.adamwelc.org

• Software engineering
• Computing
• Computer programming
• Concurrency control
• Transaction processing
• Complexity classes
• Java
• Functional languages
• Deterministic Parallel Java
• Determinism
• Deterministic algorithm
• Linearizability

DDOS: Taming Nondeterminism in Distributed Systems Nicholas Hunt, Tom Bergan, Luis Ceze, Steven D. Gribble Computer Science and Engineering, University of Washington {nhunt,tbergan,luisceze,gribble}@cs.washington.edu Ab

Source URL: homes.cs.washington.edu

BRICS Basic Research in Computer Science BRICS DS-98-2 S. B. Lassen: Relational Reasoning about Functions and Nondeterminism

Source URL: www.brics.dk

Nondeterminism, fixpoints and bisimulation Paul Blain Levy University of Birmingham November 12, 2010

Source URL: www.cs.bham.ac.uk