Search results for "nondeterminism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Andrea Bianco, Luca de Alfaro	Model Checking of Probabalistic and Nondeterministic Systems.	FSTTCS	1995	DBLP DOI BibTeX RDF
10	Tirza Hirst, David Harel	On the Power of Bounded Concurrency II: Pushdown Automata.	J. ACM	1994	DBLP DOI BibTeX RDF	cooperative concurrency, pushdown automata, succinctness
10	John P. Nestor, E. S. Lee	Prerequisite Confidentiality.	CCS	1994	DBLP DOI BibTeX RDF
10	Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi 0001	From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.	ALP	1994	DBLP DOI BibTeX RDF
10	Cheryl Dietz, Gerlinde Schreiber	A Term Representation of P/T Systems.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
10	Andrzej Filinski	Representing Monads.	POPL	1994	DBLP DOI BibTeX RDF
10	Guy L. Steele Jr.	Building Interpreters by Composing Monads.	POPL	1994	DBLP DOI BibTeX RDF
10	Hava T. Siegelmann	On The Computational Power of Probabilistic and Faulty Neural Networks.	ICALP	1994	DBLP DOI BibTeX RDF
10	Noa Globerman, David Harel	Complexity Results for Multi-Pebble Automata and their Logics.	ICALP	1994	DBLP DOI BibTeX RDF
10	Rocco De Nicola, Anna Labella	A Completeness Theorem fro Nondeterministic Kleene Algebras.	MFCS	1994	DBLP DOI BibTeX RDF
10	Pascal Van Hentenryck, Viswanath Ramachandran	Backtracking without Trailing in CLP(RLin). (long version: TOPLAS 17(4): 349-360 (1995))	PLDI	1994	DBLP DOI BibTeX RDF
10	André Arnold	Hypertransition Systems.	STACS	1994	DBLP DOI BibTeX RDF
10	Liming Cai, Jianer Chen, Rodney G. Downey, Michael R. Fellows	On the Structure of Parameterized Problems in NP (Extended Abstract).	STACS	1994	DBLP DOI BibTeX RDF
10	Nils Klarlund	The Limit View of Infinite Computations.	CONCUR	1994	DBLP DOI BibTeX RDF
10	Kai Engelhardt, Willem P. de Roever	Generalizing Abadi & Lamport's Method to Solve a Problem Posed by A. Pnueli.	FME	1993	DBLP DOI BibTeX RDF
10	Paola Inverardi, Balachander Krishnamurthy, Daniel Yankelevich	Yeast: A Case Study for a Practical Use of Formal Methods.	TAPSOFT	1993	DBLP DOI BibTeX RDF
10	Lane A. Hemachandra, Sudhir K. Jha	Defying Upward and Downward Separation.	STACS	1993	DBLP DOI BibTeX RDF
10	Cyrille Bareau, Benoît Caillaud, Claude Jard, René Thoraval	Correctness of Automated Distribution of Sequential Programs.	PARLE	1993	DBLP DOI BibTeX RDF	distributed memory parallel machines, formal program development methodologies, parallel language constructs and semantics
10	K. V. S. Prasad	Programming with Broadcasts.	CONCUR	1993	DBLP DOI BibTeX RDF	CR classification F3. 2 Semantics of Programming Languages-operational semantics, algebraic approaches to semantics
10	Soumen Chakrabarti, Katherine A. Yelick	On the Correctness of a Distributed Memory Gröbner basis Algorithm.	RTA	1993	DBLP DOI BibTeX RDF
10	Nancy A. Day	An example of linking formal methods with case tools: a model checker for statecharts.	CASCON	1993	DBLP BibTeX RDF
10	Rob T. Udink, Joost N. Kok	On the Relation Between Unity Properties and Sequences of States.	REX Workshop	1992	DBLP DOI BibTeX RDF	Semantic models - Unity, program refinement
10	Reinhold Heckmann	Power Domains Supporting Recursion and Failure.	CAAP	1992	DBLP DOI BibTeX RDF
10	Matthew Hennessy	Concurrent Testing of Processes (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF
10	David K. Probst, Hon Fung Li	Partial-Order Model Checking: A Guide for the Perplexed.	CAV	1991	DBLP DOI BibTeX RDF	delay-insensitive system, partial-order representation, recurrence structure, model checking, state explosion, state encoding
10	Roberto Gorrieri, Ugo Montanari	Distributed Implementation of CCS.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Place/Transition Petri nets, concurrent calculi, net calculi, implementation morphism, atomicity, operational semantics, denotational semantics
10	Tao Jiang 0001, Bala Ravikumar	Minimal NFA Problems Are Hard.	ICALP	1991	DBLP DOI BibTeX RDF
10	Jonathan F. Buss, Judy Goldsmith	Nondterminism Within P.	STACS	1991	DBLP DOI BibTeX RDF
10	Frank S. de Boer, Catuscia Palamidessi	Embedding as a Tool for Language Comparison: On the CSP Hierarchy.	CONCUR	1991	DBLP DOI BibTeX RDF	concurrent logic languages, embedding, compositional semantics
10	Tao Jiang 0001, Edward McDowell, Bala Ravikumar	The Structure and Complexity of Minimal NFA's over a Unary Alphabet.	FSTTCS	1991	DBLP DOI BibTeX RDF
10	Hermann von Issendorff	A theory of organization.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
10	Hermann von Issendorff	A theory of organization.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF
10	Yuri Gurevich, Saharon Shelah	Nondeterministic Linear-Time Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space	J. ACM	1990	DBLP DOI BibTeX RDF
10	Guo-Jie Li, Benjamin W. Wah	Computational Efficiency of Parallel Combinatorial OR-Tree Searches.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	near linear speedup, parallel combinatorial OR-tree searches, error allowance function, simulation, performance evaluation, performance, parallel processing, theorem proving, database management systems, trees (mathematics), decision theory, sufficient conditions, search strategies, combinatorial mathematics, dominance relation
10	Ursula Goltz	CCS and Petri Nets.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
10	Klaus Reinhardt	Hierarchies over the Context-Free Languages.	IMYCS	1990	DBLP DOI BibTeX RDF
10	Tirza Hirst, David Harel	On the Power of Bounded Concurrency II: The Pushdown Automata Level.	CAAP	1990	DBLP DOI BibTeX RDF
10	Saumya K. Debray, David Scott Warren	Functional Computations in Logic Programs.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
10	C.-D. Jung, E. Siberrt	Polling in Concurrent Programming.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
10	Bent Thomsen	A Calculus of Higher Order Communicating Systems.	POPL	1989	DBLP DOI BibTeX RDF	CCS
10	David Harel	A Thesis for Bounded Concurrency.	MFCS	1989	DBLP DOI BibTeX RDF
10	Bernd Schwinn, Gerhard Barth, Christoph Welsch	RAPiD A Data Flow Model for Implementing Parallelism and Intelligent Backtracking in Logic Programs.	PARLE (2)	1989	DBLP DOI BibTeX RDF
10	Mario Tokoro, Kohei Honda 0001	The Computational Field Model for Open Distributed Environments.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
10	Hiroto Yasuura, Nagisa Ishiura	Semantics of a Hardware Design Language for Japanese Standardization.	DAC	1989	DBLP DOI BibTeX RDF
10	Ernst-Rüdiger Olderog, Krzysztof R. Apt	Fairness in Parallel Programs: The Transformational Approach.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
10	Ursula Goltz	On Representing CCS Programs by Finite Petri Nets.	MFCS	1988	DBLP DOI BibTeX RDF
10	Jan J. M. M. Rutten	Correctness and full abstraction of metric semantics for concurrency.	REX Workshop	1988	DBLP DOI BibTeX RDF	complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction
10	E. Allen Emerson, Jai Srinivasan	Branching time temporal logic.	REX Workshop	1988	DBLP DOI BibTeX RDF	Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
10	Matthew Hennessy	Observing processes.	REX Workshop	1988	DBLP DOI BibTeX RDF	behavioural semantics, testing, process algebras, Concurrent Processes
10	Doron Drusinsky, David Harel	On the Power of Cooperative Concurrency.	Concurrency	1988	DBLP DOI BibTeX RDF
10	Rand Methfessel	Implementing an Access and Object Oriented Paradigm in a Language That Supports Neither.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	C
10	Catriel Beeri, Michael Kifer	A theory of intersection anomalies in relational database schemes.	J. ACM	1987	DBLP DOI BibTeX RDF
10	Jacques Cohen, Timothy J. Hickey	Parsing and Compiling Using Prolog.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF	Prolog
10	Rocco De Nicola, Matthew Hennessy	CCS without tau's.	TAPSOFT, Vol.1	1987	DBLP DOI BibTeX RDF
10	Carl Manning	Traveler: The Apiary Observatory.	ECOOP	1987	DBLP DOI BibTeX RDF
10	Maria Zamfir	Initial Algebra Semantics and Concurrency.	MFPS	1987	DBLP DOI BibTeX RDF
10	Michael W. Mislove	On the Smyth Power Domain.	MFPS	1987	DBLP DOI BibTeX RDF
10	Ernie Manes	Assertional Categories.	MFPS	1987	DBLP DOI BibTeX RDF
10	George M. Reed, A. W. Roscoe 0001	Metric Spaces as Models for Real-Time Concurrency.	MFPS	1987	DBLP DOI BibTeX RDF
10	Masaki Murakami	Proving Partial Correctness of Guarded Horn Clauses Programs.	LP	1987	DBLP DOI BibTeX RDF
10	Keith L. Clark, Steve Gregory	Parlog: Parallel Programming in Logic.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	Prolog, PARLOG
10	Ernst-Rüdiger Olderog	Operational Petri net semantics for CCSP.	European Workshop on Applications and Theory of Petri Nets	1986	DBLP DOI BibTeX RDF
10	Jifeng He 0001, C. A. R. Hoare, Jeff W. Sanders	Data Refinement Refined.	ESOP	1986	DBLP DOI BibTeX RDF
10	Stéphane Kaplan	Rewriting with a Nondeterministic Choice Operator: From Algebra to Proofs.	ESOP	1986	DBLP DOI BibTeX RDF
10	Manfred Jackel	ADA Concurrency Specified by Graph Grammars.	WG	1986	DBLP DOI BibTeX RDF
10	Amir Pnueli	Linear and Branching Structures in the Semantics and Logics of Reactive Systems.	ICALP	1985	DBLP DOI BibTeX RDF
10	J. W. de Bakker, Joost N. Kok	Towards a Uniform Topological Treatment of Streams and Functions on Streams.	ICALP	1985	DBLP DOI BibTeX RDF
10	Sara Porat, Nissim Francez	Fairness in Context-Free Grammars under Canonical Derivations.	STACS	1985	DBLP DOI BibTeX RDF
10	Juraj Hromkovic	Hierarchy of Reversal and Zerotesting Bounded Multicounter Machines.	MFCS	1984	DBLP DOI BibTeX RDF
10	E. Allen Emerson, Joseph Y. Halpern	"Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time.	POPL	1983	DBLP DOI BibTeX RDF
10	Robert Paige	Transformational Programming - Applications to Algorithms and Systems.	POPL	1983	DBLP DOI BibTeX RDF
10	Michael B. Smyth	Power Domains and Predicate Transformers: A Topological View.	ICALP	1983	DBLP DOI BibTeX RDF
10	Leslie Lamport	"Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs.	POPL	1980	DBLP DOI BibTeX RDF
10	Harry R. Lewis, Christos H. Papadimitriou	Symmetric Space-Bounded Computation (Extended Abstract).	ICALP	1980	DBLP DOI BibTeX RDF
10	David W. Mizell	Verification and Design Aspects of "True" Concurrency.	POPL	1978	DBLP DOI BibTeX RDF
10	Barry K. Rosen	Tree-Manipulating Systems and Church-Rosser Theorems.	J. ACM	1973	DBLP DOI BibTeX RDF