zbMATH — the first resource for mathematics

CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. (English) Zbl 1269.68020
Lecture Notes in Computer Science 8052. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). xiv, 562 p. (2013).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1246.68044].
Indexed articles:
Schmitz, Sylvain; Schnoebelen, Philippe, The power of well-structured systems, 5-24 [Zbl 1390.68488]
Churchill, Martin; Mosses, Peter D.; Mousavi, Mohammad Reza, Modular semantics for transition system specifications with negative premises, 46-60 [Zbl 1390.68465]
Bernardi, Giovanni; Hennessy, Matthew, Mutually testing processes (extended abstract), 61-75 [Zbl 1390.68459]
Beneš, Nikola; Delahaye, Benoît; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel, Hennessy-Milner logic with greatest fixed points as a complete behavioural specification theory, 76-90 [Zbl 1271.68131]
Ben-David, Shoham; Chechik, Marsha; Uchitel, Sebastian, Merging partial behaviour models with different vocabularies, 91-105 [Zbl 1390.68458]
Abdulla, Parosh Aziz; Mayr, Richard; Sangnier, Arnaud; Sproston, Jeremy, Solving parity games on integer vectors, 106-120 [Zbl 1390.68452]
Cai, Xiaojuan; Ogawa, Mizuhito, Well-structured pushdown systems, 121-136 [Zbl 1390.68461]
Leroux, Jérôme; Praveen, M.; Sutre, Grégoire, A relational trace logic for vector addition systems with application to context-freeness, 137-151 [Zbl 1390.68478]
Majumdar, Rupak; Wang, Zilong, Expand, enlarge, and check for branching vector addition systems, 152-166 [Zbl 1390.68481]
Koutavas, Vasileios; Hennessy, Matthew, Symbolic bisimulation for a higher-order distributed language with passivation (extended abstract), 167-181 [Zbl 1390.68476]
Hüchting, Reiner; Majumdar, Rupak; Meyer, Roland, A theory of name boundedness, 182-196 [Zbl 1390.68474]
Dorman, Andrei; Mazza, Damiano, A hierarchy of expressiveness in concurrent interaction nets, 197-211 [Zbl 1390.68467]
von Gleissenthall, Klaus; Rybalchenko, Andrey, An epistemic perspective on consistency of concurrent computations, 212-226 [Zbl 1390.68491]
Liang, Hongjin; Hoffmann, Jan; Feng, Xinyu; Shao, Zhong, Characterizing progress properties of concurrent objects via contextual refinements, 227-241 [Zbl 1390.68480]
Henzinger, Thomas A.; Sezgin, Ali; Vafeiadis, Viktor, Aspect-oriented linearizability proofs, 242-256 [Zbl 1390.68213]
Kupriyanov, Andrey; Finkbeiner, Bernd, Causality-based verification of multi-threaded programs, 257-272 [Zbl 1390.68187]
Henzinger, Thomas A.; Otop, Jan, From model checking to model measuring, 273-287 [Zbl 1390.68428]
Kochems, Jonathan; Ong, C.-H. Luke, Safety verification of asynchronous pushdown systems with shaped stacks, 288-302 [Zbl 1390.68475]
Phillips, Iain; Ulidowski, Irek, Reversibility and asymmetric conflict in event structures, 303-318 [Zbl 1390.68486]
Haase, Christoph; Schmitz, Sylvain; Schnoebelen, Philippe, The power of priority channel systems, 319-333 [Zbl 1390.68471]
Ying, Shenggang; Feng, Yuan; Yu, Nengkun; Ying, Mingsheng, Reachability probabilities of quantum Markov chains, 334-348 [Zbl 1390.68444]
Hermanns, Holger; Turrini, Andrea, Cost preserving bisimulations for probabilistic automata, 349-363 [Zbl 1390.68473]
Hermanns, Holger; Krčál, Jan; Křetínský, Jan, Compositional verification and optimization of interactive Markov chains, 364-379 [Zbl 1390.68472]
Danos, Vincent; Harmer, Russ; Honorato-Zimmer, Ricardo, Thermodynamic graph-rewriting, 380-394 [Zbl 1390.68364]
Kouzapas, Dimitrios; Yoshida, Nobuko, Globally governed session semantics, 395-409 [Zbl 1390.68477]
Nigam, Vivek; Olarte, Carlos; Pimentel, Elaine, A general proof system for modalities in concurrent constraint programming, 410-424 [Zbl 1390.68485]
Montesi, Fabrizio; Yoshida, Nobuko, Compositional choreographies, 425-439 [Zbl 1390.68483]
Esparza, Javier; Desel, Jörg, On negotiation as concurrency primitive, 440-454 [Zbl 1390.68468]
Carapelle, Claudia; Kartzow, Alexander; Lohrey, Markus, Satisfiability of \(\mathrm{CTL}^{*}\) with constraints, 455-469 [Zbl 1391.03017]
Cranen, Sjoerd; Luttik, Bas; Willemse, Tim A. C., Proof graphs for parameterised Boolean equation systems, 470-484 [Zbl 1390.68425]
D’Silva, Vijay, Generalizing simulation to abstract domains, 485-499 [Zbl 1390.68466]
Chatterjee, Krishnendu; Velner, Yaron, Hyperplane separation technique for multidimensional mean-payoff games, 500-515 [Zbl 1371.68106]
Gutierrez, Julian; Winskel, Glynn, Borel determinacy of concurrent games, 516-530 [Zbl 1291.68287]
Hansen, Thomas Dueholm; Ibsen-Jensen, Rasmus; Miltersen, Peter Bro, A faster algorithm for solving one-clock priced timed games, 531-545 [Zbl 1390.68387]
Sankur, Ocan; Bouyer, Patricia; Markey, Nicolas; Reynier, Pierre-Alain, Robust controller synthesis in timed automata, 546-560 [Zbl 1390.68416]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI