CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642401831, 9783642401848

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Power of Priority Channel Systems

CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40184-8_23 ◽

2013 ◽

pp. 319-333 ◽

Cited By ~ 3

Author(s):

Christoph Haase ◽

Sylvain Schmitz ◽

Philippe Schnoebelen

Keyword(s):

Channel Systems

Download Full-text

Merging Partial Behaviour Models with Different Vocabularies

CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40184-8_8 ◽

2013 ◽

pp. 91-105 ◽

Cited By ~ 9

Author(s):

Shoham Ben-David ◽

Marsha Chechik ◽

Sebastian Uchitel

Keyword(s):

Behaviour Models

Download Full-text

Generalizing Simulation to Abstract Domains

CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40184-8_34 ◽

2013 ◽

pp. 485-499

Author(s):

Vijay D’Silva

Keyword(s):

Abstract Domains

Download Full-text

Reasoning with MAD Distributed Systems

CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40184-8_1 ◽

2013 ◽

pp. 1-4

Author(s):

Lorenzo Alvisi ◽

Edmund L. Wong

Keyword(s):

Distributed Systems

Download Full-text

A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness

CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40184-8_11 ◽

2013 ◽

pp. 137-151 ◽

Cited By ~ 2

Author(s):

Jérôme Leroux ◽

M. Praveen ◽

Grégoire Sutre

Keyword(s):

Vector Addition

Download Full-text

Satisfiability of CTL* with Constraints

CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40184-8_32 ◽

2013 ◽

pp. 455-469 ◽

Cited By ~ 5

Author(s):

Claudia Carapelle ◽

Alexander Kartzow ◽

Markus Lohrey

Download Full-text

On Negotiation as Concurrency Primitive

CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40184-8_31 ◽

2013 ◽

pp. 440-454 ◽

Cited By ~ 9

Author(s):

Javier Esparza ◽

Jörg Desel

Download Full-text

Causality-Based Verification of Multi-threaded Programs

CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40184-8_19 ◽

2013 ◽

pp. 257-272 ◽

Cited By ~ 3

Author(s):

Andrey Kupriyanov ◽

Bernd Finkbeiner

Download Full-text

Globally Governed Session Semantics

CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40184-8_28 ◽

2013 ◽

pp. 395-409 ◽

Cited By ~ 3

Author(s):

Dimitrios Kouzapas ◽

Nobuko Yoshida

Download Full-text

Solving Parity Games on Integer Vectors

CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer Science ◽

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

2013 ◽

pp. 106-120 ◽

Cited By ~ 13

Author(s):

Parosh Aziz Abdulla ◽

Richard Mayr ◽

Arnaud Sangnier ◽

Jeremy Sproston

Keyword(s):

Parity Games

Download Full-text

CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

The Power of Priority Channel Systems

Merging Partial Behaviour Models with Different Vocabularies

Generalizing Simulation to Abstract Domains

Reasoning with MAD Distributed Systems

A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness

Satisfiability of CTL* with Constraints

On Negotiation as Concurrency Primitive

Causality-Based Verification of Multi-threaded Programs

Globally Governed Session Semantics

Solving Parity Games on Integer Vectors

CONCUR 2013 – Concurrency Theory - Lecture Notes in Computer Science
Latest Publications