CONCUR’99 Concurrency Theory - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

15
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540664253, 9783540483205
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automating Modular Verification

1999 ◽  
pp. 82-97 ◽  
Author(s):  
Rajeev Alur ◽  
Luca de Alfaro ◽  
Thomas A. Henzinger ◽  
Freddy Y. C. Mang
Keyword(s):  
Modular Verification

Synchronous Structures

1999 ◽  
pp. 494-508 ◽  
Author(s):  
David Nowak ◽  
Jean-Pierre Talpin ◽  
Paul Le Guernic

Validating Firewalls in Mobile Ambients

1999 ◽  
pp. 463-477 ◽  
Author(s):  
Flemming Nielson ◽  
Hanne Riis Nielson ◽  
René Rydhof Hansen ◽  
Jacob Grydholt Jensen
Keyword(s):  
Mobile Ambients
Load More ...
Sign in / Sign up

Export Citation Format

Share Document