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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540744061, 9783540744078

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Rule-Based Modelling of Cellular Signalling

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

10.1007/978-3-540-74407-8_3 ◽

2007 ◽

pp. 17-41 ◽

Cited By ~ 132

Author(s):

Vincent Danos ◽

Jérôme Feret ◽

Walter Fontana ◽

Russell Harmer ◽

Jean Krivine

Keyword(s):

Rule Based ◽

Cellular Signalling

Download Full-text

Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness

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

10.1007/978-3-540-74407-8_7 ◽

2007 ◽

pp. 90-104 ◽

Cited By ~ 11

Author(s):

Martin Lange

Keyword(s):

Linear Time

Download Full-text

Automatic Derivation of Compositional Rules in Automated Compositional Reasoning

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

10.1007/978-3-540-74407-8_21 ◽

2007 ◽

pp. 303-316 ◽

Cited By ~ 2

Author(s):

Bow-Yaw Wang

Keyword(s):

Compositional Reasoning

Download Full-text

Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures

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

10.1007/978-3-540-74407-8_20 ◽

2007 ◽

pp. 287-302 ◽

Cited By ~ 10

Author(s):

Peter Lammich ◽

Markus Müller-Olm

Download Full-text

The Saga of the Axiomatization of Parallel Composition

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

10.1007/978-3-540-74407-8_2 ◽

2007 ◽

pp. 2-16

Author(s):

Luca Aceto ◽

Anna Ingolfsdottir

Keyword(s):

Parallel Composition

Download Full-text

Mapping the Security Landscape: A Role for Language Techniques

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

10.1007/978-3-540-74407-8_1 ◽

2007 ◽

pp. 1-1

Author(s):

Fred B. Schneider

Download Full-text

On the Expressive Power of Global and Local Priority in Process Calculi

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

10.1007/978-3-540-74407-8_17 ◽

2007 ◽

pp. 241-255 ◽

Cited By ~ 6

Author(s):

Cristian Versari ◽

Nadia Busi ◽

Roberto Gorrieri

Keyword(s):

Expressive Power ◽

Process Calculi ◽

Global And Local

Download Full-text

The Must Preorder Revisited

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

10.1007/978-3-540-74407-8_15 ◽

2007 ◽

pp. 212-225 ◽

Cited By ~ 45

Author(s):

Cosimo Laneve ◽

Luca Padovani

Download Full-text

Asynchronous Games: Innocence Without Alternation

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

10.1007/978-3-540-74407-8_27 ◽

2007 ◽

pp. 395-411 ◽

Cited By ~ 18

Author(s):

Paul-André Melliès ◽

Samuel Mimram

Download Full-text

A Marriage of Rely/Guarantee and Separation Logic

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

10.1007/978-3-540-74407-8_18 ◽

2007 ◽

pp. 256-271 ◽

Cited By ~ 94

Author(s):

Viktor Vafeiadis ◽

Matthew Parkinson

Keyword(s):

Separation Logic

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Rule-Based Modelling of Cellular Signalling

Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness

Automatic Derivation of Compositional Rules in Automated Compositional Reasoning

Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures

The Saga of the Axiomatization of Parallel Composition

Mapping the Security Landscape: A Role for Language Techniques

On the Expressive Power of Global and Local Priority in Process Calculi

The Must Preorder Revisited

Asynchronous Games: Innocence Without Alternation

A Marriage of Rely/Guarantee and Separation Logic

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