Automata, Languages and Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

53
(FIVE YEARS 0)

H-INDEX

14
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540100034, 9783540393467
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Semantics of unbounded nondeterminism

1980 ◽  
pp. 51-63 ◽  
Author(s):  
Ralph-Johan Back

A theory of nondeterminism

1980 ◽  
pp. 338-350 ◽  
Author(s):  
J. R. Kennaway ◽  
C. A. R. Hoare

Dos systems and languages

1980 ◽  
pp. 134-141 ◽  
Author(s):  
A. Ehrenfeucht ◽  
G. Rozenberg

Languages with homomorphic replacements

1980 ◽  
pp. 19-29 ◽  
Author(s):  
J. Albert ◽  
L. Wegner

Symmertric space-bounded computation (extended abstract)

1980 ◽  
pp. 374-384 ◽  
Author(s):  
Harry R. Lewis ◽  
Christos H. Papadimitriou

Characterizing correctness properties of parallel programs using fixpoints

1980 ◽  
pp. 169-181 ◽  
Author(s):  
E. Allen Emerson ◽  
Edmund M. Clarke
Keyword(s):  
Parallel Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document