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

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540631415, 9783540691884
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A universal reactive machine

1997 ◽  
pp. 89-103
Author(s):  
Henrik Reif Andersen ◽  
Simon Mørk ◽  
Morten Ulrik Sørensen

On the complexity of verifying concurrent transition systems

1997 ◽  
pp. 258-272 ◽  
Author(s):  
David Harel ◽  
Orna Kupferman ◽  
Moshe Y. Vardi
Keyword(s):  
Transition Systems

An algebraic theory of multiple clocks

1997 ◽  
pp. 166-180 ◽  
Author(s):  
Rance Cleaveland ◽  
Gerald Lüttgen ◽  
Michael Mendler
Keyword(s):  
Algebraic Theory
Load More ...
Sign in / Sign up

Export Citation Format

Share Document