Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006
DBLP:	db/conf/concur/concur2006.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 34 of 34  

Select a publication
Show	Title	Venue	Rating	Date
	Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier. Controller Synthesis for MTL Specifications.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera. Reachability in Recursive Markov Decision Processes.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena. Proving Liveness by Backwards Reachability.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Paolo Baldan, Fabio Gadducci, Ugo Montanari. Concurrent Rewriting for Graphs with Equivalences.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Lars Birkedal, Søren Debois, Thomas T. Hildebrandt. Sortings for Reactive Systems.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse. A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari. Event Structure Semantics for Nominal Calculi.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca. Encoding CDuce in the Cpi-Calculus.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Krishnendu Chatterjee, Thomas A. Henzinger. Strategy Improvement for Stochastic Rabin and Streett Games.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Avik Chaudhuri. Dynamic Access Control in a Concurrent Object Calculus.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Taolue Chen, Wan Fokkink. On Finite Alphabets and Infinite Bases III: Simulation.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Flavio Corradini, Maria Rita Di Berardini, Walter Vogler. Checking a Mutex Algorithm in a Process Algebra with Fairness.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Rob J. van Glabbeek, Marc Voorhoeve. Liveness, Fairness and Impossible Futures.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Yoshinao Isobe, Markus Roggenbach. A Complete Axiomatic Semantics for the CSP Stable-Failures Model.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Clemens Grabmayer, Jan Willem Klop, Bas Luttik. Some Remarks on Definability of Process Graphs.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Olga Grinchtein, Bengt Jonsson, Paul Pettersson. Inference of Event-Recording Automata Using Timed Decision Trees.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Henri Hansen, Antti Valmari. Operational Determinism and Fast Algorithms.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	David Kitchin, William R. Cook, Jayadev Misra. A Language for Task Orchestration and Its Semantic Properties.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Ichiro Hasuo. Generic Forward and Backward Simulations.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Naoki Kobayashi. A New Type System for Deadlock-Free Processes.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Maciej Koutny, Marta Pietkiewicz-Koutny. Transition Systems of Elementary Net Systems with Localities.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Viraj Kumar, P. Madhusudan, Mahesh Viswanathan. Minimization, Learning, and Conformance Testing of Boolean Programs.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Orna Kupferman. Sanity Checks in Formal Verification.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Orna Kupferman, Sarai Sheinvald-Faragy. Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Stefan Leue, Alin Stefanescu, Wei Wei. A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee. Modeling Timed Concurrent Systems.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Damien Pous. Weak Bisimulation Up to Elaboration.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Uwe Nestmann Nestmann. Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Arend Rensink. Model Checking Quantified Computation Tree Logic.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Ramzi Ben Salah, Marius Bozga, Oded Maler. On Interleaving in Timed Automata.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Roberto Segala. Probability and Nondeterminism in Operational Models of Concurrency.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Eugene W. Stark, Rance Cleaveland, Scott A. Smolka. Probabilistic I/O Automata: Theories of Two Equivalences.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Colin Stirling. Second-Order Simple Grammars.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006
	Tachio Terauchi, Alexander Aiken. A Capability Calculus for Concurrency and Determinism.	CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings 2006	(0)	2006

Your query returned 34 matches in the database.