Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science
Latest Publications

TOTAL DOCUMENTS

38
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540575290, 9783540482116
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A graphic language based on timing diagrams

1993 ◽  
pp. 306-316
Author(s):  
Christian Antoine ◽  
Bernard Goff ◽  
Jean-Eric Pin
Keyword(s):  
Timing Diagrams ◽  
Graphic Language

Data-independences of parallel random access machines

1993 ◽  
pp. 104-113 ◽  
Author(s):  
Klaus-Jörn Lange ◽  
Rolf Niedermeier
Keyword(s):  
Random Access

scholarly journals On reduction-based process semantics

1993 ◽  
pp. 373-387 ◽  
Author(s):  
Kohei Honda ◽  
Nobuko Yoshida

Complexity results for 1-safe nets

1993 ◽  
pp. 326-337 ◽  
Author(s):  
Allan Cheng ◽  
Javier Esparza ◽  
Jens Palsberg
Keyword(s):  
Complexity Results
Load More ...
Sign in / Sign up

Export Citation Format

Share Document