Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings > Playing with Probabilities in Reconfigurable Broadcast Networks
Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings |
Anca Muscholl
Springer Berlin Heidelberg
Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
Playing with Probabilities in Reconfigurable Broadcast Networks
Authors

Nathalie Bertrand; Paulin Fournier; Arnaud Sangnier

ARI Id

1664700747055_2794409

Access

Not Available Free

Pages

134-148

DOI

10.1007/978-3-642-54830-7_9

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-54830-7_9

Table of Contents of Book
Showing 1 to 20 of 31 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Equivalences of Pushdown Systems Are Hard
Petr Jančar
1-28
Active Diagnosis for Probabilistic Systems
Nathalie Bertrand; Éric Fabre; Stefan Haar; Serge Haddad; Loïc Hélouët
29-42
Analysis of Probabilistic Basic Parallel Processes
Rémi Bonnet; Stefan Kiefer; Anthony Widjaja Lin
43-57
Limit Synchronization in Markov Decision Processes
Laurent Doyen; Thierry Massart; Mahsa Shirmohammadi
58-72
Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes
Hongfei Fu
73-87
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
Luca Padovani
88-102
A Semantical and Operational Account of Call-by-Value Solvability
Alberto Carraro; Giulio Guerrieri
103-118
Network-Formation Games with Regular Objectives
Guy Avni; Orna Kupferman; Tami Tamir
119-133
Playing with Probabilities in Reconfigurable Broadcast Networks
Nathalie Bertrand; Paulin Fournier; Arnaud Sangnier
134-148
Unsafe Order-2 Tree Languages Are Context-Sensitive
Naoki Kobayashi; Kazuhiro Inaba; Takeshi Tsukada
149-163
Game Semantics for Nominal Exceptions
Andrzej S. Murawski; Nikos Tzevelekos
164-179
Complexity of Model-Checking Call-by-Value Programs
Takeshi Tsukada; Naoki Kobayashi
180-194
Resource Reachability Games on Pushdown Graphs
Martin Lang
195-209
Perfect-Information Stochastic Mean-Payoff Parity Games
Krishnendu Chatterjee; Laurent Doyen; Hugo Gimbert; Youssouf Oualhadj
210-225
Latticed-LTL Synthesis in the Presence of Noisy Inputs
Shaull Almagor; Orna Kupferman
226-241
The Complexity of Partial-Observation Stochastic Parity Games with Finite-Memory Strategies
Krishnendu Chatterjee; Laurent Doyen; Sumit Nain; Moshe Y. Vardi
242-257
On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations
Javier Esparza; Jörg Desel
258-273
On Asymmetric Unification and the Combination Problem in Disjoint Theories
Serdar Erbatur; Deepak Kapur; Andrew M. Marshall; Catherine Meadows; Paliath Narendran; Christophe Ringeissen
274-288
Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
Pedro R. D’Argenio; Daniel Gebler; Matias David Lee
289-303
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 31 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings