Unfolding-Based Diagnosis of Systems with an Evolving Topology (English)
- New search for: Baldan, Paolo
- New search for: Chatain, Thomas
- New search for: Haar, Stefan
- New search for: König, Barbara
- New search for: van Breugel, Franck
- New search for: Chechik, Marsha
- New search for: Baldan, Paolo
- New search for: Chatain, Thomas
- New search for: Haar, Stefan
- New search for: König, Barbara
In:
CONCUR 2008 - Concurrency Theory
: 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
;
Chapter: 19
;
203-217
;
2008
- Article/Chapter (Book) / Electronic Resource
-
Title:Unfolding-Based Diagnosis of Systems with an Evolving Topology
-
Contributors:van Breugel, Franck ( editor ) / Chechik, Marsha ( editor ) / Baldan, Paolo ( author ) / Chatain, Thomas ( author ) / Haar, Stefan ( author ) / König, Barbara ( author )
-
Conference:International Conference on Concurrency Theory ; 2008 ; Toronto, ON, Canada
-
Published in:CONCUR 2008 - Concurrency Theory : 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings ; Chapter: 19 ; 203-217Lecture Notes in Computer Science ; 5201 ; 203-217
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2008-01-01
-
Size:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Beyond Nash Equilibrium: Solution Concepts for the 21st CenturyHalpern, Joseph Y. et al. | 2008
- 2
-
Service Choreography and Orchestration with ConversationsBultan, Tevfik et al. | 2008
- 3
-
Knowledge and Information in Probabilistic SystemsPanangaden, Prakash et al. | 2008
- 4
-
Taming Concurrency: A Program Verification PerspectiveQadeer, Shaz et al. | 2008
- 6
-
A Model of Dynamic Separation for Transactional MemoryAbadi, Martín / Harris, Tim / Moore, Katherine F. et al. | 2008
- 6
-
Completeness and Nondeterminism in Model Checking Transactional MemoriesGuerraoui, Rachid / Henzinger, Thomas A. / Singh, Vasu et al. | 2008
- 7
-
Semantics of Deterministic Shared-Memory SystemsMorin, Rémi et al. | 2008
- 8
-
A Scalable and Oblivious Atomicity AssertionGuerraoui, Rachid / Vukolić, Marko et al. | 2008
- 9
-
R-AutomataAbdulla, Parosh Aziz / Krcal, Pavel / Yi, Wang et al. | 2008
- 10
-
Distributed Timed Automata with Independently Evolving ClocksAkshay, S. / Bollig, Benedikt / Gastin, Paul / Mukund, Madhavan / Narayan Kumar, K. et al. | 2008
- 11
-
A Context-Free Process as a Pushdown AutomatonBaeten, J. C. M. / Cuijpers, P. J. L. / van Tilburg, P. J. A. et al. | 2008
- 114
-
Modeling Computational Security in Long-Lived SystemsCanetti, Ran / Cheung, Ling / Kaynar, Dilsun / Lynch, Nancy / Pereira, Olivier et al. | 2008
- 131
-
Contract-Directed Synthesis of Simple OrchestratorsPadovani, Luca et al. | 2008
- 147
-
Environment Assumptions for SynthesisChatterjee, Krishnendu / Henzinger, Thomas A. / Jobstmann, Barbara et al. | 2008
- 162
-
Smyle: A Tool for Synthesizing Distributed Models from Scenarios by LearningBollig, Benedikt / Katoen, Joost-Pieter / Kern, Carsten / Leucker, Martin et al. | 2008
- 16
-
SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant ProgramsBonakdarpour, Borzoo / Kulkarni, Sandeep S. et al. | 2008
- 17
-
Subsequence InvariantsDräger, Klaus / Finkbeiner, Bernd et al. | 2008
- 18
-
Invariants for Parameterised Boolean Equation SystemsOrzan, Simona / Willemse, Tim A. C. et al. | 2008
- 19
-
Unfolding-Based Diagnosis of Systems with an Evolving TopologyBaldan, Paolo / Chatain, Thomas / Haar, Stefan / König, Barbara et al. | 2008
- 218
-
On the Construction of Sorted Reactive SystemsBirkedal, Lars / Debois, Søren / Hildebrandt, Thomas et al. | 2008
- 21
-
Dynamic Partial Order Reduction Using Probe SetsKastenberg, Harmen / Rensink, Arend et al. | 2008
- 22
-
A Space-Efficient Probabilistic Simulation AlgorithmZhang, Lijun et al. | 2008
- 264
-
Least Upper Bounds for Probability Measures and Their Applications to AbstractionsChadha, Rohit / Viswanathan, Mahesh / Viswanathan, Ramesh et al. | 2008
- 279
-
Abstraction for Stochastic Systems by Erlang’s Method of StagesKatoen, Joost-Pieter / Klink, Daniel / Leucker, Martin / Wolf, Verena et al. | 2008
- 25
-
On the Minimisation of Acyclic ModelsCrouzen, Pepijn / Hermanns, Holger / Zhang, Lijun et al. | 2008
- 310
-
Quasi-Static Scheduling of Communicating TasksDarondeau, Philippe / Genest, Blaise / Thiagarajan, P. S. / Yang, Shaofa et al. | 2008
- 27
-
Strategy Construction for Parity Games with Imperfect InformationBerwanger, Dietmar / Chatterjee, Krishnendu / Doyen, Laurent / Henzinger, Thomas A. / Raje, Sangram et al. | 2008
- 28
-
Mixing Lossy and Perfect Fifo ChannelsChambart, P. / Schnoebelen, Ph. et al. | 2008
- 29
-
On the Reachability Analysis of Acyclic Networks of Pushdown SystemsAtig, Mohamed Faouzi / Bouajjani, Ahmed / Touili, Tayssir et al. | 2008
- 372
-
Spatial and Behavioral Types in the Pi-CalculusAcciai, Lucia / Boreale, Michele et al. | 2008
- 31
-
A Spatial Equational Logic for the Applied π-CalculusLozes, Étienne / Villard, Jules et al. | 2008
- 402
-
Structured Interactional Exceptions in Session TypesCarbone, Marco / Honda, Kohei / Yoshida, Nobuko et al. | 2008
- 418
-
Global Progress in Dynamically Interleaved Multiparty SessionsBettini, Lorenzo / Coppo, Mario / D’Antoni, Loris / Luca, Marco / Dezani-Ciancaglini, Mariangiola / Yoshida, Nobuko et al. | 2008
- 34
-
Normed BPA vs. Normed BPP RevisitedJančar, Petr / Kot, Martin / Sawa, Zdeněk et al. | 2008
- 35
-
A Rule Format for AssociativityCranen, Sjoerd / Mousavi, MohammadReza / Reniers, Michel A. et al. | 2008
- 462
-
Deriving Structural Labelled Transitions for Mobile AmbientsRathke, Julian / Sobociński, Paweł et al. | 2008
- 37
-
Termination Problems in Chemical KineticsZavattaro, Gianluigi / Cardelli, Luca et al. | 2008
- 38
-
Towards a Unified Approach to Encodability and Separation Results for Process CalculiGorla, Daniele et al. | 2008
- 39
-
A Notion of Glue Expressiveness for Component-Based SystemsBliudze, Simon / Sifakis, Joseph et al. | 2008