Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings > Solving Parity Games on Integer Vectors
CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings |
Springer Berlin Heidelberg
CONCUR 2013 -- Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Solving Parity Games on Integer Vectors
Authors

Parosh Aziz Abdulla; Richard Mayr; Arnaud Sangnier; Jeremy Sproston

ARI Id

1664725937379_2949202

Access

Not Available Free

Pages

106-120

DOI

10.1007/978-3-642-40184-8_9

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-40184-8_9

Table of Contents of Book
Showing 1 to 20 of 40 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Reasoning with MAD Distributed Systems
Lorenzo Alvisi; Edmund L. Wong
1-4
The Power of Well-Structured Systems
Sylvain Schmitz; Philippe Schnoebelen
5-24
Impact of Resource Sharing on Performance and Performance Prediction: A Survey
Andreas Abel; Florian Benz; Johannes Doerfert; Barbara Dörr; Sebastian Hahn; Florian Haupenthal et al.
25-43
Concurrency Meets Probability: Theory and Practice
Joost-Pieter Katoen
44-45
Modular Semantics for Transition System Specifications with Negative Premises
Martin Churchill; Peter D. Mosses; Mohammad Reza Mousavi
46-60
Mutually Testing Processes
Giovanni Bernardi; Matthew Hennessy
61-75
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
Nikola Beneš; Benoît Delahaye; Uli Fahrenberg; Jan Křetínský; Axel Legay
76-90
Merging Partial Behaviour Models with Different Vocabularies
Shoham Ben-David; Marsha Chechik; Sebastian Uchitel
91-105
Solving Parity Games on Integer Vectors
Parosh Aziz Abdulla; Richard Mayr; Arnaud Sangnier; Jeremy Sproston
106-120
Well-Structured Pushdown Systems
Xiaojuan Cai; Mizuhito Ogawa
121-136
A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness
Jérôme Leroux; M. Praveen; Grégoire Sutre
137-151
Expand, Enlarge, and Check for Branching Vector Addition Systems
Rupak Majumdar; Zilong Wang
152-166
Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation
Vasileios Koutavas; Matthew Hennessy
167-181
A Theory of Name Boundedness
Reiner Hüchting; Rupak Majumdar; Roland Meyer
182-196
A Hierarchy of Expressiveness in Concurrent Interaction Nets
Andrei Dorman; Damiano Mazza
197-211
An Epistemic Perspective on Consistency of Concurrent Computations
Klaus von Gleissenthall; Andrey Rybalchenko
212-226
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements
Hongjin Liang; Jan Hoffmann; Xinyu Feng; Zhong Shao
227-241
Aspect-Oriented Linearizability Proofs
Thomas A. Henzinger; Ali Sezgin; Viktor Vafeiadis
242-256
Causality-Based Verification of Multi-threaded Programs
Andrey Kupriyanov; Bernd Finkbeiner
257-272
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 40 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings