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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540513711, 9783540462019

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Two versus one index register and modifiable versus non-modifiable programs

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0035786 ◽

1989 ◽

pp. 603-609

Author(s):

K. Mehlhorn ◽

W. J. Paul

Download Full-text

On recent trends in algebraic specification

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0035766 ◽

1989 ◽

pp. 263-288 ◽

Cited By ~ 11

Author(s):

H. Ehrig ◽

P. Pepper ◽

F. Orejas

Keyword(s):

Algebraic Specification ◽

Recent Trends

Download Full-text

Characteristic formulae

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0035794 ◽

1989 ◽

pp. 723-732 ◽

Cited By ~ 32

Author(s):

Bernhard Steffen

Download Full-text

Automata with storage on infinite words

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0035767 ◽

1989 ◽

pp. 289-303 ◽

Cited By ~ 4

Author(s):

Joost Engelfriet ◽

Hendrik Jan Hoogeboom

Keyword(s):

Infinite Words

Download Full-text

Asymptotically optimal distributed consensus

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0035753 ◽

1989 ◽

pp. 80-94 ◽

Cited By ~ 19

Author(s):

Piotr Berman ◽

Juan A. Garay

Keyword(s):

Distributed Consensus ◽

Asymptotically Optimal

Download Full-text

About primitive recursive algorithms

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0035761 ◽

1989 ◽

pp. 194-206 ◽

Cited By ~ 7

Author(s):

Loïc Colson

Keyword(s):

Recursive Algorithms ◽

Primitive Recursive

Download Full-text

DI-domains as information systems

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0035798 ◽

1989 ◽

pp. 773-788 ◽

Cited By ~ 8

Author(s):

Guo Qiang Zhang

Keyword(s):

Information Systems

Download Full-text

A note on model checking the modal v-calculus

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0035797 ◽

1989 ◽

pp. 761-772 ◽

Cited By ~ 25

Author(s):

Glynn Winskel

Keyword(s):

Model Checking

Download Full-text

Factors of words

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0035752 ◽

1989 ◽

pp. 63-79 ◽

Cited By ~ 15

Author(s):

Danièle Beauquier ◽

Jean-Eric Pin

Download Full-text

Realizable and unrealizable specifications of reactive systems

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0035748 ◽

1989 ◽

pp. 1-17 ◽

Cited By ~ 113

Author(s):

Martín Abadi ◽

Leslie Lamport ◽

Pierre Wolper

Keyword(s):

Reactive Systems

Download Full-text

Automata, Languages and Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Two versus one index register and modifiable versus non-modifiable programs

On recent trends in algebraic specification

Characteristic formulae

Automata with storage on infinite words

Asymptotically optimal distributed consensus

About primitive recursive algorithms

DI-domains as information systems

A note on model checking the modal v-calculus

Factors of words

Realizable and unrealizable specifications of reactive systems

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