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

TOTAL DOCUMENTS

51
(FIVE YEARS 0)

H-INDEX

14
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540513711, 9783540462019
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On recent trends in algebraic specification

1989 ◽  
pp. 263-288 ◽  
Author(s):  
H. Ehrig ◽  
P. Pepper ◽  
F. Orejas
Keyword(s):  
Algebraic Specification ◽  
Recent Trends

Characteristic formulae

1989 ◽  
pp. 723-732 ◽  
Author(s):  
Bernhard Steffen

Automata with storage on infinite words

1989 ◽  
pp. 289-303 ◽  
Author(s):  
Joost Engelfriet ◽  
Hendrik Jan Hoogeboom
Keyword(s):  
Infinite Words

Asymptotically optimal distributed consensus

1989 ◽  
pp. 80-94 ◽  
Author(s):  
Piotr Berman ◽  
Juan A. Garay
Keyword(s):  
Distributed Consensus ◽  
Asymptotically Optimal

DI-domains as information systems

1989 ◽  
pp. 773-788 ◽  
Author(s):  
Guo Qiang Zhang
Keyword(s):  
Information Systems

A note on model checking the modal v-calculus

1989 ◽  
pp. 761-772 ◽  
Author(s):  
Glynn Winskel
Keyword(s):  
Model Checking

Factors of words

1989 ◽  
pp. 63-79 ◽  
Author(s):  
Danièle Beauquier ◽  
Jean-Eric Pin

scholarly journals Realizable and unrealizable specifications of reactive systems

1989 ◽  
pp. 1-17 ◽  
Author(s):  
Martín Abadi ◽  
Leslie Lamport ◽  
Pierre Wolper
Keyword(s):  
Reactive Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document