CONCUR'98 Concurrency Theory - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

41
(FIVE YEARS 0)

H-INDEX

16
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540648963, 9783540684558
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The tau-laws of fusion

1998 ◽  
pp. 99-114 ◽  
Author(s):  
Joachim Parrow ◽  
Björn Victor

Control flow analysis for the π-calculus

1998 ◽  
pp. 84-98 ◽  
Author(s):  
Chiara Bodei ◽  
Pierpaolo Degano ◽  
Flemming Nielson ◽  
Hanne Riis Nielson
Keyword(s):  
Flow Analysis ◽  
Control Flow ◽  
Π Calculus ◽  
Control Flow Analysis

Algebraic techniques for timed systems

1998 ◽  
pp. 373-388 ◽  
Author(s):  
Albert Benveniste ◽  
Claude Jard ◽  
Stéphane Gaubert
Keyword(s):  
Timed Systems

Unfolding and finite prefix for nets with read arcs

1998 ◽  
pp. 501-516 ◽  
Author(s):  
Walter Vogler ◽  
Alex Semenov ◽  
Alex Yakovlev

Axioms for real-time logics

1998 ◽  
pp. 219-236 ◽  
Author(s):  
J. -F. Raskin ◽  
P. -Y. Schobbens ◽  
T. A. Henzinger
Keyword(s):  
Real Time
Load More ...
Sign in / Sign up

Export Citation Format

Share Document