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

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540549673, 9783540466123

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Failures semantics for a simple process language with refinement

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

10.1007/3-540-54967-6_63 ◽

1991 ◽

pp. 89-108 ◽

Author(s):

Luca Aceto ◽

Uffe Engberg

Keyword(s):

Download Full-text

Tense logics for local reasoning in distributed systems

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

10.1007/3-540-54967-6_62 ◽

1991 ◽

pp. 71-88 ◽

Author(s):

Kamal Lodaya ◽

R. Ramanujam

Keyword(s):

Distributed Systems ◽

Local Reasoning

Download Full-text

AC-equation solving

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

10.1007/3-540-54967-6_60 ◽

1991 ◽

pp. 40-56

Author(s):

Subrata Mitra ◽

G. Sivakumar

Keyword(s):

Equation Solving

Download Full-text

The structure and complexity of minimal NFA's over a unary alphabet

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

10.1007/3-540-54967-6_67 ◽

1991 ◽

pp. 152-171 ◽

Author(s):

Tao Jiang ◽

Edward McDowell ◽

B. Ravikumar

Download Full-text

Usefulness of angle-sweep over line-sweep

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

10.1007/3-540-54967-6_83 ◽

1991 ◽

pp. 390-419

Author(s):

Binay K. Bhattacharya

Download Full-text

Petri nets and transition systems (Abstract for an invited talk)

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

10.1007/3-540-54967-6_84 ◽

1991 ◽

pp. 420-420

Author(s):

Glynn Winskel

Keyword(s):

Transition Systems

Download Full-text

A theorem on the approximation of set cover and vertex cover

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

10.1007/3-540-54967-6_75 ◽

1991 ◽

pp. 278-287

Author(s):

V. Th. Paschos

Keyword(s):

Vertex Cover ◽

Download Full-text

Fast stable in-place sorting with O(n) data moves

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

10.1007/3-540-54967-6_74 ◽

1991 ◽

pp. 266-277 ◽

Author(s):

J. Ian Munro ◽

Venkatesh Raman

Download Full-text

Correctness of programs over poor signatures

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

10.1007/3-540-54967-6_64 ◽

1991 ◽

pp. 109-120

Author(s):

Hardi Hungar

Keyword(s):

Correctness Of Programs

Download Full-text

Program checking

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

10.1007/3-540-54967-6_57 ◽

1991 ◽

pp. 1-9 ◽

Author(s):

Manuel Blum

Keyword(s):

Program Checking

Download Full-text