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

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

13
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540229407, 9783540286448
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Session Types for Functional Multithreading

2004 ◽  
pp. 497-511 ◽  
Author(s):  
Vasco Vasconcelos ◽  
António Ravara ◽  
Simon Gay
Keyword(s):  
Session Types

Resources, Concurrency and Local Reasoning

2004 ◽  
pp. 49-67 ◽  
Author(s):  
Peter W. O’Hearn
Keyword(s):  
Local Reasoning

Verification by Network Decomposition

2004 ◽  
pp. 276-291 ◽  
Author(s):  
Edmund Clarke ◽  
Muralidhar Talupur ◽  
Tayssir Touili ◽  
Helmut Veith
Keyword(s):  
Network Decomposition

Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems

2004 ◽  
pp. 193-208 ◽  
Author(s):  
Tomáš Brázdil ◽  
Antonín Kučera ◽  
Oldřich Stražovský
Keyword(s):  
Probabilistic Systems ◽  
Infinite State

scholarly journals Resource Control for Synchronous Cooperative Threads

2004 ◽  
pp. 68-82 ◽  
Author(s):  
Roberto M. Amadio ◽  
Silvano Dal Zilio
Keyword(s):  
Resource Control

A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps

2004 ◽  
pp. 177-192 ◽  
Author(s):  
Liana Bozga ◽  
Cristian Ene ◽  
Yassine Lakhnech
Keyword(s):  
Decision Procedure ◽  
Cryptographic Protocols ◽  
Time Stamps

Message-Passing Automata Are Expressively Equivalent to EMSO Logic

2004 ◽  
pp. 146-160 ◽  
Author(s):  
Benedikt Bollig ◽  
Martin Leucker
Keyword(s):  
Message Passing

scholarly journals A Survey of Regular Model Checking

2004 ◽  
pp. 35-48 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Bengt Jonsson ◽  
Marcus Nilsson ◽  
Mayank Saksena
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking

scholarly journals μABC: A Minimal Aspect Calculus

2004 ◽  
pp. 209-224 ◽  
Author(s):  
Glenn Bruns ◽  
Radha Jagadeesan ◽  
Alan Jeffrey ◽  
James Riely
Load More ...
Sign in / Sign up

Export Citation Format

Share Document