Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1026.00029].
Indexed articles:
Andrews, Tony; Qadeer, Shaz; Rajamani, Sriram K.; Rehof, Jakob; Xie, Yichen, Zing: Exploiting program structure for model checking concurrent software, 1-15 [Zbl 1099.68583]
Brookes, Stephen, A semantics for concurrent separation logic, 16-34 [Zbl 1099.68650]
Abdulla, Parosh Aziz; Jonsson, Bengt; Nilsson, Marcus; Saksena, Mayank, A survey of regular model checking, 35-48 [Zbl 1099.68055]
O’Hearn, Peter W., Resources, concurrency and local reasoning, 49-67 [Zbl 1099.68588]
Amadio, Roberto M.; Dal Zilio, Silvano, Resource control for synchronous cooperative threads, 68-82 [Zbl 1097.68535]
Baldan, Paolo; Corradini, Andrea; König, Barbara, Verifying finite-state graph grammars: An unfolding-based approach, 83-98 [Zbl 1099.68046]
Baudru, Nicolas; Morin, Rémi, The pros and cons of netcharts, 99-114 [Zbl 1099.68063]
Berger, Martin, Basic theory of reduction congruence for two timed asynchronous \(\pi\)-calculi, 115-130 [Zbl 1099.68064]
Bojańczyk, Mikołaj; Walukiewicz, Igor, Characterizing EF and EX tree logics, 131-145 [Zbl 1097.03504]
Bollig, Benedikt; Leucker, Martin, Message-passing automata are expressively equivalent to EMSO logic, 146-160 [Zbl 1097.68581]
Borgström, Johannes; Briais, Sébastien; Nestmann, Uwe, Symbolic bisimulation in the spi calculus, 161-176 [Zbl 1099.68665]
Bozga, Liana; Ene, Cristian; Lakhnech, Yassine, A symbolic decision procedure for cryptographic protocols with time stamps (extended abstract), 177-192 [Zbl 1099.94521]
Brázdil, Tomáš; Kučera, Antonín; Stražovský, Oldřich, Deciding probabilistic bisimilarity over infinite-state probabilistic systems, 193-208 [Zbl 1099.68065]
Bruns, Glenn; Jagadeesan, Radha; Jeffrey, Alan; Riely, James, \(\mu\)ABC: A minimal aspect calculus, 209-224 [Zbl 1099.68586]
Bugliesi, Michele; Colazzo, Dario; Crafa, Silvia, Type based discretionary access control, 225-239 [Zbl 1099.68666]
Caires, Luís; Lozes, Étienne, Elimination of quantifiers and undecidability in spatial logics for concurrency, 240-257 [Zbl 1097.68582]
Cîrstea, Corina; Pattinson, Dirk, Modular construction of modal logics, 258-275 [Zbl 1099.03018]
Clarke, Edmund; Talupur, Muralidhar; Touili, Tayssir; Veith, Helmut, Verification by network decomposition, 276-291 [Zbl 1099.68653]
Danos, Vincent; Krivine, Jean, Reversible communicating systems, 292-307 [Zbl 1099.68066]
Groote, Jan Friso; Willemse, Tim, Parameterised Boolean equation systems (extended abstract), 308-324 [Zbl 1099.68670]
Hirschkoff, Daniel, An extensional spatial logic for mobile processes, 325-339 [Zbl 1099.68067]
Krčál, Pavel; Mokrushin, Leonid; Thiagarajan, P. S.; Yi, Wang, Timed vs. time-triggered automata, 340-354 [Zbl 1099.68069]
Křetínský, Mojmír; Řehák, Vojtěch; Strejček, Jan, Extended process rewrite systems: Expressiveness and reachability, 355-370 [Zbl 1099.68068]
Kučera, Antonín; Schnoebelen, Philippe, A general approach to comparing infinite-state systems with their finite-state specifications, 371-386 [Zbl 1097.68577]
Laroussinie, F.; Markey, N.; Schnoebelen, Ph., Model checking timed automata with one or two clocks, 387-401 [Zbl 1099.68057]
Leroux, Jérôme; Sutre, Grégoire, On flatness for 2-dimensional vector addition systems with states, 402-416 [Zbl 1099.68071]
Ma, Qin; Maranget, Luc, Compiling pattern matching in join-patterns, 417-431 [Zbl 1099.68671]
Markey, Nicolas; Raskin, Jean-François, Model checking restricted sets of timed paths, 432-447 [Zbl 1097.68578]
Melliès, Paul-André, Asynchronous games. II: The true concurrency of innocence, 448-465 [Zbl 1099.68672]
Tabuada, Paulo, Open maps, alternating simulations and control synthesis, 466-480 [Zbl 1099.68073]
Varacca, Daniele; Völzer, Hagen; Winskel, Glynn, Probabilistic event structures and domains, 481-496 [Zbl 1099.68676]
Vasconcelos, Vasco; Ravara, António; Gay, Simon, Session types for functional multithreading, 497-511 [Zbl 1099.68677]
Viswanathan, Mahesh; Viswanathan, Ramesh, A higher order modal fixed point logic, 512-528 [Zbl 1099.03022]