Lecture Notes in Computer Science - CONCUR 2001 — Concurrency Theory
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540424970, 9783540446859

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synchronized Hyperedge Replacement with Name Mobility

Lecture Notes in Computer Science - CONCUR 2001 — Concurrency Theory ◽

10.1007/3-540-44685-0_9 ◽

2001 ◽

pp. 121-136 ◽

Cited By ~ 12

Author(s):

Hirsch Dan ◽

Montanari Ugo

Keyword(s):

Hyperedge Replacement

Download Full-text

CCS with Priority Guards

Lecture Notes in Computer Science - CONCUR 2001 — Concurrency Theory ◽

10.1007/3-540-44685-0_21 ◽

2001 ◽

pp. 305-320 ◽

Cited By ~ 6

Author(s):

Iain Phillips

Download Full-text

A Faster-than Relation for Asynchronous Processes

Lecture Notes in Computer Science - CONCUR 2001 — Concurrency Theory ◽

10.1007/3-540-44685-0_18 ◽

2001 ◽

pp. 262-276 ◽

Cited By ~ 7

Author(s):

Gerald Lüttgen ◽

Walter Vogler

Download Full-text

Probabilistic Information Flow in a Process Algebra

Lecture Notes in Computer Science - CONCUR 2001 — Concurrency Theory ◽

10.1007/3-540-44685-0_11 ◽

2001 ◽

pp. 152-168 ◽

Cited By ~ 11

Author(s):

Alessandro Aldini

Keyword(s):

Information Flow ◽

Process Algebra ◽

Probabilistic Information

Download Full-text

Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software

Lecture Notes in Computer Science - CONCUR 2001 — Concurrency Theory ◽

10.1007/3-540-44685-0_5 ◽

2001 ◽

pp. 39-58 ◽

Cited By ~ 45

Author(s):

John Hatcliff ◽

Matthew Dwyer

Keyword(s):

Model Check ◽

Tool Set

Download Full-text

Local First Search — A New Paradigm for Partial Order Reductions

Lecture Notes in Computer Science - CONCUR 2001 — Concurrency Theory ◽

10.1007/3-540-44685-0_27 ◽

2001 ◽

pp. 396-410 ◽

Cited By ~ 6

Author(s):

Peter Niebert ◽

Michaela Huhn ◽

Sarah Zennou ◽

Denis Lugiez

Keyword(s):

Partial Order ◽

New Paradigm

Download Full-text

Reasoning about Security in Mobile Ambients

Lecture Notes in Computer Science - CONCUR 2001 — Concurrency Theory ◽

10.1007/3-540-44685-0_8 ◽

2001 ◽

pp. 102-120 ◽

Cited By ~ 20

Author(s):

Michele Bugliesi ◽

Giuseppe Castagna ◽

Silvia Crafa

Keyword(s):

Mobile Ambients

Download Full-text

Extended Temporal Logic Revisited

Lecture Notes in Computer Science - CONCUR 2001 — Concurrency Theory ◽

10.1007/3-540-44685-0_35 ◽

2001 ◽

pp. 519-535 ◽

Cited By ~ 26

Author(s):

Orna Kupferman ◽

Nir Piterman ◽

Moshe Y. Vardi

Keyword(s):

Temporal Logic

Download Full-text

Channel Representations in Protocol Verification

Lecture Notes in Computer Science - CONCUR 2001 — Concurrency Theory ◽

10.1007/3-540-44685-0_1 ◽

2001 ◽

pp. 1-15 ◽

Cited By ~ 6

Author(s):

Parosh Aziz Abdulla ◽

Bengt Jonsson

Keyword(s):

Protocol Verification

Download Full-text

A Static Analysis Technique for Graph Transformation Systems

Lecture Notes in Computer Science - CONCUR 2001 — Concurrency Theory ◽

10.1007/3-540-44685-0_26 ◽

2001 ◽

pp. 381-395 ◽

Cited By ~ 43

Author(s):

Paolo Baldan ◽

Andrea Corradini ◽

Barbara König

Keyword(s):

Static Analysis ◽

Graph Transformation ◽

Analysis Technique ◽

Transformation Systems ◽

Graph Transformation Systems

Download Full-text

Lecture Notes in Computer Science - CONCUR 2001 — Concurrency TheoryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Synchronized Hyperedge Replacement with Name Mobility

CCS with Priority Guards

A Faster-than Relation for Asynchronous Processes

Probabilistic Information Flow in a Process Algebra

Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software

Local First Search — A New Paradigm for Partial Order Reductions

Reasoning about Security in Mobile Ambients

Extended Temporal Logic Revisited

Channel Representations in Protocol Verification

A Static Analysis Technique for Graph Transformation Systems

Lecture Notes in Computer Science - CONCUR 2001 — Concurrency Theory
Latest Publications