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

9783540606925, 9783540492634

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model checking of probabilistic and nondeterministic systems

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

10.1007/3-540-60692-0_70 ◽

1995 ◽

pp. 499-513 ◽

Cited By ~ 225

Author(s):

Andrea Bianco ◽

Luca Alfaro

Keyword(s):

Model Checking

Download Full-text

All-pairs min-cut in sparse networks

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

10.1007/3-540-60692-0_61 ◽

1995 ◽

pp. 363-376

Author(s):

Srinivasa R. Arikati ◽

Shiva Chaudhuri ◽

Christos D. Zaroliagis

Keyword(s):

Sparse Networks ◽

Min Cut

Download Full-text

The transformation calculus

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

10.1007/3-540-60692-0_46 ◽

1995 ◽

pp. 151-165 ◽

Cited By ~ 1

Author(s):

Jacques Garrigue

Download Full-text

Minimizing space usage in evaluation of expression trees

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

10.1007/3-540-60692-0_62 ◽

1995 ◽

pp. 377-390 ◽

Cited By ~ 2

Author(s):

Sandip K. Biswas ◽

Sampath Kannan

Download Full-text

On the complexity of bisimilarity for value-passing processes

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

10.1007/3-540-60692-0_56 ◽

1995 ◽

pp. 294-308 ◽

Cited By ~ 1

Author(s):

Michele Boreale ◽

Luca Trevisan

Download Full-text

An algorithm for reducing binary branchings

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

10.1007/3-540-60692-0_55 ◽

1995 ◽

pp. 279-293 ◽

Cited By ~ 3

Author(s):

Paul Caspi ◽

Jean -Claude Fernandez ◽

Alain Girault

Download Full-text

Observing behaviour categorically

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

10.1007/3-540-60692-0_54 ◽

1995 ◽

pp. 263-278 ◽

Cited By ~ 13

Author(s):

Mogens Nielsen ◽

Allan Cheng

Download Full-text

The expressive power of indeterminate primitives in asynchronous computation

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

10.1007/3-540-60692-0_45 ◽

1995 ◽

pp. 124-150 ◽

Cited By ~ 2

Author(s):

Prakash Panangaden

Keyword(s):

Expressive Power ◽

Asynchronous Computation

Download Full-text

From causal consistency to sequential consistency in shared memory systems

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

10.1007/3-540-60692-0_48 ◽

1995 ◽

pp. 180-194 ◽

Cited By ~ 18

Author(s):

Michel Raynal ◽

André Schiper

Keyword(s):

Shared Memory ◽

Memory Systems ◽

Sequential Consistency ◽

Causal Consistency

Download Full-text

Generalized temporal verification diagrams

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

10.1007/3-540-60692-0_69 ◽

1995 ◽

pp. 484-498 ◽

Cited By ~ 24

Author(s):

I. A. Browne ◽

Z. Manna ◽

H. B. Sipma

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Model checking of probabilistic and nondeterministic systems

All-pairs min-cut in sparse networks

The transformation calculus

Minimizing space usage in evaluation of expression trees

On the complexity of bisimilarity for value-passing processes

An algorithm for reducing binary branchings

Observing behaviour categorically

The expressive power of indeterminate primitives in asynchronous computation

From causal consistency to sequential consistency in shared memory systems

Generalized temporal verification diagrams

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