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

TOTAL DOCUMENTS

36
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642232169, 9783642232176
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Controlling Reversibility in Higher-Order Pi

2011 ◽  
pp. 297-311 ◽  
Author(s):  
Ivan Lanese ◽  
Claudio Antares Mezzina ◽  
Alan Schmitt ◽  
Jean-Bernard Stefani
Keyword(s):  
Higher Order

scholarly journals On Locality and the Exchange Law for Concurrent Processes

2011 ◽  
pp. 250-264 ◽  
Author(s):  
C. A. R. Hoare ◽  
Akbar Hussain ◽  
Bernhard Möller ◽  
Peter W. O’Hearn ◽  
Rasmus Lerchedahl Petersen ◽  
...  
Keyword(s):  
Concurrent Processes

scholarly journals Dynamic Reactive Modules

2011 ◽  
pp. 404-418 ◽  
Author(s):  
Jasmin Fisher ◽  
Thomas A. Henzinger ◽  
Dejan Nickovic ◽  
Nir Piterman ◽  
Anmol V. Singh ◽  
...  

scholarly journals Static Livelock Analysis in CSP

2011 ◽  
pp. 389-403 ◽  
Author(s):  
Joël Ouaknine ◽  
Hristina Palikareva ◽  
A. W. Roscoe ◽  
James Worrell
Load More ...
Sign in / Sign up

Export Citation Format

Share Document