Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540179450, 9783540471813

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Optimistic and-parallelism in Prolog

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe ◽

10.1007/3-540-17945-3_24 ◽

1987 ◽

pp. 420-431 ◽

Cited By ~ 3

Author(s):

Hans Tebra

Download Full-text

PARLOG: The language and its applications

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe ◽

10.1007/3-540-17945-3_2 ◽

1987 ◽

pp. 30-53 ◽

Cited By ~ 3

Author(s):

Keith L. Clark

Download Full-text

A computational model for distributed systems using operator nets

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe ◽

10.1007/3-540-17945-3_14 ◽

1987 ◽

pp. 243-260 ◽

Cited By ~ 3

Author(s):

Janice I. Glasgow ◽

Glenn H. MacEwen

Keyword(s):

Distributed Systems ◽

Computational Model ◽

Operator Nets

Download Full-text

A reduction semantics for imperative higher-order languages

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe ◽

10.1007/3-540-17945-3_12 ◽

1987 ◽

pp. 206-223 ◽

Cited By ~ 10

Author(s):

Matthias Felleisen ◽

Daniel P. Friedman

Keyword(s):

Higher Order

Download Full-text

Distributed garbage collection using reference counting

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe ◽

10.1007/3-540-17945-3_10 ◽

1987 ◽

pp. 176-187 ◽

Cited By ~ 51

Author(s):

DI Bevan

Keyword(s):

Garbage Collection ◽

Distributed Garbage Collection ◽

Reference Counting

Download Full-text

A fully abstract semantics for data flow nets

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe ◽

10.1007/3-540-17945-3_20 ◽

1987 ◽

pp. 351-368 ◽

Cited By ~ 23

Author(s):

Joost N. Kok

Keyword(s):

Data Flow ◽

Abstract Semantics

Download Full-text

Petri net models for algebraic theories of concurrency

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe ◽

10.1007/3-540-17945-3_13 ◽

1987 ◽

pp. 224-242 ◽

Cited By ~ 116

Author(s):

Rob van Glabbeek ◽

Frits Vaandrager

Keyword(s):

Petri Net ◽

Algebraic Theories

Download Full-text

Task sequencing language for specifying distributed Ada systems TSL-1

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe ◽

10.1007/3-540-17945-3_26 ◽

1987 ◽

pp. 444-463 ◽

Cited By ~ 12

Author(s):

D. C. Luckham ◽

D. P. Helmbold ◽

D. L. Bryan ◽

M. A. Haberler

Keyword(s):

Task Sequencing

Download Full-text

Rewriting techniques for the temporal analysis of communicating processes

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe ◽

10.1007/3-540-17945-3_23 ◽

1987 ◽

pp. 402-419 ◽

Cited By ~ 3

Author(s):

Ph. Schnoebelen

Keyword(s):

Temporal Analysis ◽

Communicating Processes

Download Full-text

Term graph rewriting

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe ◽

10.1007/3-540-17945-3_8 ◽

1987 ◽

pp. 141-158 ◽

Cited By ~ 116

Author(s):

H. P. Barendregt ◽

M. C. J. D. Eekelen ◽

J. R. W. Glauert ◽

J. R. Kennaway ◽

M. J. Plasmeijer ◽

...

Keyword(s):

Graph Rewriting

Download Full-text

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages EuropeLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Optimistic and-parallelism in Prolog

PARLOG: The language and its applications

A computational model for distributed systems using operator nets

A reduction semantics for imperative higher-order languages

Distributed garbage collection using reference counting

A fully abstract semantics for data flow nets

Petri net models for algebraic theories of concurrency

Task sequencing language for specifying distributed Ada systems TSL-1

Rewriting techniques for the temporal analysis of communicating processes

Term graph rewriting

Lecture Notes in Computer Science - PARLE Parallel Architectures and Languages Europe
Latest Publications