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

TOTAL DOCUMENTS

33
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540407539, 9783540451877
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Full Abstraction for HOPLA

2003 ◽  
pp. 383-398 ◽  
Author(s):  
Mikkel Nygaard ◽  
Glynn Winskel
Keyword(s):  
Full Abstraction

Contract Signing, Optimism, and Advantage

2003 ◽  
pp. 366-382 ◽  
Author(s):  
Rohit Chadha ◽  
John C. Mitchell ◽  
Andre Scedrov ◽  
Vitaly Shmatikov
Keyword(s):  
Contract Signing

Compositionality for Probabilistic Automata

2003 ◽  
pp. 208-221 ◽  
Author(s):  
Nancy Lynch ◽  
Roberto Segala ◽  
Frits Vaandrager
Keyword(s):  
Probabilistic Automata

Model Checking a Path

2003 ◽  
pp. 251-265 ◽  
Author(s):  
N. Markey ◽  
P. Schnoebelen
Keyword(s):  
Model Checking

scholarly journals Modeling Consensus in a Process Calculus

2003 ◽  
pp. 399-414 ◽  
Author(s):  
Uwe Nestmann ◽  
Rachele Fuzzati ◽  
Massimo Merro
Keyword(s):  
Process Calculus

Linear Forwarders

2003 ◽  
pp. 415-430 ◽  
Author(s):  
Philippa Gardner ◽  
Cosimo Laneve ◽  
Lucian Wischik
Load More ...
Sign in / Sign up

Export Citation Format

Share Document