The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Nondeterminacy with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1975-1999 (15) 2000-2008 (15) 2009 (1)
Publication types (Num. hits)
article(16) inproceedings(14) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 38 occurrences of 32 keywords

Results
Found 31 publication records. Showing 31 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
172Joseph M. Morris Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy. Search on Bibsonomy MPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
112Jianxin Xiong, Dingxing Wang Analyzing Nondeterminacy of Message Passing Programs. Search on Bibsonomy ISPAN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF message passing, trace analysis, Parallel debugging
107Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information. Search on Bibsonomy APSEC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF language-based replay, MHB(Minimal Happened Before) model, Detect and Reproduce method, parallel program, static analysis, debugging, probe effects, nondeterminacy, event ordering
99Joseph M. Morris, Malcolm Tyrrell Dually nondeterministic functions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Angelic nondeterminacy, demonic nondeterminacy, free completely distributive lattice, modeling nondeterminacy, nondeterministic functions, nondeterminism
92Joseph M. Morris, Malcolm Tyrrell Modelling higher-order dual nondeterminacy. Search on Bibsonomy Acta Informatica The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
92Joseph M. Morris Plug-and-Play Nondeterminacy. Search on Bibsonomy B The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
72Joseph M. Morris, Malcolm Tyrrell Dual unbounded nondeterminacy, recursion, and fixpoints. Search on Bibsonomy Acta Informatica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
61Joseph M. Morris, Alexander Bunkenburg A theory of bunches. Search on Bibsonomy Acta Informatica The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
46Joseph M. Morris, Alexander Bunkenburg, Malcolm Tyrrell Term transformers: A new approach to state. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF nondeterminism, state, procedures, refinement calculus, predicate transformers, Nondeterminacy
46Raymond T. Boute Calculational semantics: Deriving programming theories from equations by functional predicate calculus. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF calculational reasoning, functional predicate calculus, intuitive semantics, strongest postcondition, weakest antecondition, termination, formal semantics, programming theories, Assignment, generic functionals, loops, nondeterminacy, axiomatic semantics
46Malcolm Tyrrell, Joseph M. Morris, Andrew Butterfield, Arthur Hughes A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF denotational models, communicating sequential processes, nondeterminacy
31Rafael Wisniewski, Martin Raussen Geometric analysis of nondeterminacy in dynamical systems. Search on Bibsonomy Acta Informatica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Toke M. Carlsen, Søren Eilers A graph approach to computing nondeterminacy in substitutional dynamical systems. Search on Bibsonomy RAIRO Theor. Informatics Appl. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Joseph M. Morris, Malcolm Tyrrell Terms with unbounded demonic and angelic nondeterminacy. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Joseph M. Morris, Alexander Bunkenburg Partiality and Nondeterminacy in Program Proofs. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
31Uwe Nestmann On determinacy and nondeterminacy in concurrent programming. Search on Bibsonomy 1996   RDF
31Michael Oberhuber Elimination of Nondeterminacy for Testing and Debugging Parallel Programs. Search on Bibsonomy AADEBUG The full citation details ... 1995 DBLP  BibTeX  RDF
31Wim H. Hesselink Nondeterminacy and Recursion via Stacks and Games. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
31Suresh K. Damodaran-Kamal, Joan M. Francioni Nondeterminacy: Testing and Debugging in Message Passing Parallel Programs. Search on Bibsonomy Workshop on Parallel and Distributed Debugging The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
31Perry A. Emrath, Sanjoy Ghosh, David A. Padua Detecting Nondeterminacy in Parallel Programs. Search on Bibsonomy IEEE Softw. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
31Wim H. Hesselink Interpretations of Recursion under Unbounded Nondeterminacy. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
31Perry A. Emrath, David A. Padua Automatic Detection of Nondeterminacy in Parallel Programs. Search on Bibsonomy Workshop on Parallel and Distributed Debugging The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
31Edsger W. Dijkstra Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Search on Bibsonomy Commun. ACM The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
26Joseph M. Morris, Alexander Bunkenburg Specificational functions. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF logic, function, expression, refinement calculus, nondeterminacy
20Tim Menzies, Julian Richardson Qualitative Modeling for Requirements Engineering. Search on Bibsonomy SEW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Yu Lei 0001, Kuo-Chung Tai Efficient Reachability Testing of Asynchronous Message-Passing Programs. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20Wim H. Hesselink, Jan Friso Groote Wait-free concurrent memory management by Create and Read until Deletion (CaRuD). Search on Bibsonomy Distributed Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Shared memory, Consensus, Wait-free, Reference counting, Concurrent garbage collection, Terms
20Tim Menzies, Bojan Cukic, Harshinder Singh, John D. Powell Testing Nondeterminate Systems. Search on Bibsonomy ISSRE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
20In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee Testing of Concurrent Programs Based on Message Sequence Charts. Search on Bibsonomy PDSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts
20Toby S. Berk A simple student environment for lightweight process concurrent programming under SunOs. Search on Bibsonomy SIGCSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
20Hermann Ilmberger, Sabine Thürmel A Toolkit for Debugging Parallel Lisp Programs. Search on Bibsonomy PARLE (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #31 of 31 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license