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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540562870, 9783540475071

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Branching bisimulation for context-free processes

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

10.1007/3-540-56287-7_115 ◽

1992 ◽

pp. 316-327 ◽

Cited By ~ 2

Author(s):

Didier Caucal

Keyword(s):

Branching Bisimulation ◽

Context Free

C-sensitive triangulations approximate the minmax length triangulation

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

10.1007/3-540-56287-7_98 ◽

1992 ◽

pp. 104-115 ◽

Cited By ~ 3

Author(s):

Christos Levcopoulos ◽

Andrzej Lingas

On the complexity of Certified Write All Algorithms

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

10.1007/3-540-56287-7_119 ◽

1992 ◽

pp. 368-379 ◽

Cited By ~ 1

Author(s):

Charles Martel ◽

Ramesh Subramonian

CCS, locations and asynchronous transition systems

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

10.1007/3-540-56287-7_116 ◽

1992 ◽

pp. 328-341 ◽

Cited By ~ 12

Author(s):

Madhavan Mukund ◽

Mogens Nielsen

Keyword(s):

Transition Systems

Detection of unstable predicates in distributed programs

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

10.1007/3-540-56287-7_110 ◽

1992 ◽

pp. 253-264 ◽

Cited By ~ 27

Author(s):

Vijay K. Garg ◽

Brian Waldecker

Keyword(s):

Distributed Programs

Solving the Lagrangian dual when the number of constraints is fixed

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

10.1007/3-540-56287-7_103 ◽

1992 ◽

pp. 164-175 ◽

Cited By ~ 1

Author(s):

Richa Agarwala ◽

David Fernández-Baca

Keyword(s):

Lagrangian Dual

Polymorphic typing by abstract interpretation

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

10.1007/3-540-56287-7_107 ◽

1992 ◽

pp. 217-228 ◽

Cited By ~ 3

Author(s):

B. Monsuez

Keyword(s):

Abstract Interpretation

Fixed points of Büchi automata

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

10.1007/3-540-56287-7_93 ◽

1992 ◽

pp. 39-50 ◽

Cited By ~ 8

Author(s):

Mads Dam

Keyword(s):

Fixed Points ◽

Büchi Automata ◽

Buchi Automata

Real-time calculi and expansion theorems

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

10.1007/3-540-56287-7_114 ◽

1992 ◽

pp. 302-315 ◽

Cited By ~ 9

Author(s):

Jens Chr. Godskesen ◽

Kim G. Larsen

Keyword(s):

Real Time

Verification of large software systems

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

10.1007/3-540-56287-7_109 ◽

1992 ◽

pp. 241-252 ◽

Cited By ~ 8

Author(s):

Wolfgang Reif

Keyword(s):

Software Systems ◽

Large Software

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Branching bisimulation for context-free processes

C-sensitive triangulations approximate the minmax length triangulation

On the complexity of Certified Write All Algorithms

CCS, locations and asynchronous transition systems

Detection of unstable predicates in distributed programs

Solving the Lagrangian dual when the number of constraints is fixed

Polymorphic typing by abstract interpretation

Fixed points of Büchi automata

Real-time calculi and expansion theorems

Verification of large software systems

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