CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642040801, 9783642040818

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04081-8_7 ◽

2009 ◽

pp. 84-98 ◽

Cited By ~ 7

Author(s):

Steffen van Bakel ◽

Maria Grazia Vigliotti

Keyword(s):

Logical Interpretation ◽

Π Calculus

Download Full-text

Model-Checking Games for Fixpoint Logics with Partial Order Models

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04081-8_24 ◽

2009 ◽

pp. 354-368 ◽

Cited By ~ 7

Author(s):

Julian Gutierrez ◽

Julian Bradfield

Keyword(s):

Model Checking ◽

Partial Order

Download Full-text

Concurrent Kleene Algebra

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04081-8_27 ◽

2009 ◽

pp. 399-414 ◽

Cited By ~ 26

Author(s):

C. A. R. Tony Hoare ◽

Bernhard Möller ◽

Georg Struth ◽

Ian Wehrman

Keyword(s):

Kleene Algebra

Download Full-text

Counterexamples in Probabilistic LTL Model Checking for Markov Chains

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04081-8_39 ◽

2009 ◽

pp. 587-602 ◽

Cited By ~ 7

Author(s):

Matthias Schmalz ◽

Daniele Varacca ◽

Hagen Völzer

Keyword(s):

Model Checking ◽

Markov Chains ◽

Ltl Model Checking

Download Full-text

On Convergence of Concurrent Systems under Regular Interactions

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04081-8_35 ◽

2009 ◽

pp. 527-541 ◽

Cited By ~ 3

Author(s):

Pavithra Prabhakar ◽

Sayan Mitra ◽

Mahesh Viswanathan

Keyword(s):

Concurrent Systems

Download Full-text

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04081-8_21 ◽

2009 ◽

pp. 305-320 ◽

Cited By ~ 7

Author(s):

Vashti Galpin ◽

Luca Bortolussi ◽

Jane Hillston

Keyword(s):

Process Algebra ◽

Emergent Behaviour

Download Full-text

The Effect of Tossing Coins in Omega-Automata

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04081-8_2 ◽

2009 ◽

pp. 15-29 ◽

Cited By ~ 3

Author(s):

Christel Baier ◽

Nathalie Bertrand ◽

Marcus Größer

Download Full-text

Weighted Bisimulation in Linear Algebraic Form

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04081-8_12 ◽

2009 ◽

pp. 163-177 ◽

Cited By ~ 19

Author(s):

Michele Boreale

Keyword(s):

Algebraic Form

Download Full-text

Perspectives on Transactional Memory

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science ◽

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

2009 ◽

pp. 1-14 ◽

Cited By ~ 3

Author(s):

Martín Abadi ◽

Tim Harris

Keyword(s):

Transactional Memory

Download Full-text

Compositional Control Synthesis for Partially Observable Systems

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04081-8_29 ◽

2009 ◽

pp. 431-447 ◽

Cited By ~ 8

Author(s):

Wouter Kuijper ◽

Jaco van de Pol

Keyword(s):

Control Synthesis ◽

Partially Observable Systems ◽

Partially Observable ◽

Compositional Control

Download Full-text

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types

Model-Checking Games for Fixpoint Logics with Partial Order Models

Concurrent Kleene Algebra

Counterexamples in Probabilistic LTL Model Checking for Markov Chains

On Convergence of Concurrent Systems under Regular Interactions

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour

The Effect of Tossing Coins in Omega-Automata

Weighted Bisimulation in Linear Algebraic Form

Perspectives on Transactional Memory

Compositional Control Synthesis for Partially Observable Systems

CONCUR 2009 - Concurrency Theory - Lecture Notes in Computer Science
Latest Publications