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

Verification by Network Decomposition

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

scholarly journals Session Types for Functional Multithreading

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

scholarly journals μABC: A Minimal Aspect Calculus

2004 ◽  
pp. 209-224 ◽  
Author(s):  
Glenn Bruns ◽  
Radha Jagadeesan ◽  
Alan Jeffrey ◽  
James Riely

scholarly journals Symbolic Bisimulation in the Spi Calculus

2004 ◽  
pp. 161-176 ◽  
Author(s):  
Johannes Borgström ◽  
Sébastien Briais ◽  
Uwe Nestmann
Load More ...
Sign in / Sign up

Export Citation Format

Share Document