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

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662445839, 9783662445846
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Choreographies, Logically

2014 ◽  
pp. 47-62 ◽  
Author(s):  
Marco Carbone ◽  
Fabrizio Montesi ◽  
Carsten Schürmann

scholarly journals Timed Multiparty Session Types

2014 ◽  
pp. 419-434 ◽  
Author(s):  
Laura Bocchi ◽  
Weizhen Yang ◽  
Nobuko Yoshida
Keyword(s):  
Session Types

scholarly journals Generalized Bisimulation Metrics

2014 ◽  
pp. 32-46 ◽  
Author(s):  
Konstantinos Chatzikokolakis ◽  
Daniel Gebler ◽  
Catuscia Palamidessi ◽  
Lili Xu

scholarly journals A Semantic Deconstruction of Session Types

2014 ◽  
pp. 402-418 ◽  
Author(s):  
Massimo Bartoletti ◽  
Alceste Scalas ◽  
Roberto Zunino
Keyword(s):  
Session Types

Bounds on Mobility

2014 ◽  
pp. 357-371 ◽  
Author(s):  
Reiner Hüchting ◽  
Rupak Majumdar ◽  
Roland Meyer
Load More ...
Sign in / Sign up

Export Citation Format

Share Document