Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540571827, 9783540479277

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On time-space trade-offs in dynamic graph pebbling

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993 ◽

10.1007/3-540-57182-5_58 ◽

1993 ◽

pp. 671-681 ◽

Cited By ~ 1

Author(s):

Peter Ružička ◽

Juraj Waczulík

Keyword(s):

Dynamic Graph ◽

Time Space ◽

Trade Offs ◽

Graph Pebbling

Download Full-text

A taste of linear logic

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993 ◽

10.1007/3-540-57182-5_12 ◽

1993 ◽

pp. 185-210 ◽

Cited By ~ 14

Author(s):

Philip Wadler

Keyword(s):

Linear Logic

Download Full-text

Data encapsulation and modularity: Three views of inheritance

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993 ◽

10.1007/3-540-57182-5_30 ◽

1993 ◽

pp. 382-391

Author(s):

J. F. Costa ◽

A. Sernadas ◽

C. Sernadas

Download Full-text

Approximate and exact deterministic parallel selection

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993 ◽

10.1007/3-540-57182-5_27 ◽

1993 ◽

pp. 352-361 ◽

Cited By ~ 10

Author(s):

Shiva Chaudhuri ◽

Torben Hagerup ◽

Rajeev Raman

Keyword(s):

Parallel Selection

Download Full-text

Real-time refinement: Semantics and application

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993 ◽

10.1007/3-540-57182-5_60 ◽

1993 ◽

pp. 693-702 ◽

Cited By ~ 6

Author(s):

David Scholefield ◽

Hussein Zedan ◽

He Jifeng

Keyword(s):

Real Time

Download Full-text

On the communication complexity of parallel computation

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993 ◽

10.1007/3-540-57182-5_43 ◽

1993 ◽

pp. 517-526

Author(s):

Oscar H. Ibarra ◽

Nicholas Trân

Keyword(s):

Parallel Computation ◽

Communication Complexity

Download Full-text

An expressive logic for Basic Process Algebra

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993 ◽

10.1007/3-540-57182-5_37 ◽

1993 ◽

pp. 453-462

Author(s):

A. Fantechi ◽

S. Gnesi ◽

V. Perticaroli

Keyword(s):

Process Algebra ◽

Basic Process

Download Full-text

A model for real-time process algebras (extended abstract)

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993 ◽

10.1007/3-540-57182-5_29 ◽

1993 ◽

pp. 372-381 ◽

Cited By ~ 2

Author(s):

Liang Chen

Keyword(s):

Real Time ◽

Time Process ◽

Process Algebras

Download Full-text

Defining soft sortedness by abstract interpretation

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993 ◽

10.1007/3-540-57182-5_28 ◽

1993 ◽

pp. 362-371

Author(s):

Jian Chen ◽

John Staples

Keyword(s):

Abstract Interpretation

Download Full-text

Speedup of recognizable trace languages

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993 ◽

10.1007/3-540-57182-5_25 ◽

1993 ◽

pp. 332-341 ◽

Cited By ~ 4

Author(s):

Christophe Cérin ◽

Antoine Petit

Download Full-text

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On time-space trade-offs in dynamic graph pebbling

A taste of linear logic

Data encapsulation and modularity: Three views of inheritance

Approximate and exact deterministic parallel selection

Real-time refinement: Semantics and application

On the communication complexity of parallel computation

An expressive logic for Basic Process Algebra

A model for real-time process algebras (extended abstract)

Defining soft sortedness by abstract interpretation

Speedup of recognizable trace languages

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1993
Latest Publications