×

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]

MSC:
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
PDF BibTeX XML Cite
Full Text: DOI