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

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540541523, 9783540474722

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Search level parallel processing of production systems

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

10.1007/3-540-54152-7_81 ◽

1991 ◽

pp. 471-488 ◽

Author(s):

Satoshi Fujita ◽

Masafumi Yamashita ◽

Tadashi Ae

Keyword(s):

Parallel Processing ◽

Production Systems

Download Full-text

Virtual memory support for OR-parallel logic programming systems

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

10.1007/3-540-54152-7_78 ◽

1991 ◽

pp. 421-438

Author(s):

André Véron ◽

Jiyang Xu ◽

S. A. Delgado-Rannauro ◽

K. Schuerman

Keyword(s):

Logic Programming ◽

Virtual Memory ◽

Parallel Logic Programming ◽

Programming Systems ◽

Download Full-text

Strong bisimilarity on nets revisited

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

10.1007/3-540-54152-7_71 ◽

1991 ◽

pp. 295-312 ◽

Author(s):

C. Autant ◽

Z. Belmesk ◽

Ph. Schnoebelen

Download Full-text

On the semantics of languages for massively parallel SIMD architectures

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

10.1007/3-540-54152-7_64 ◽

1991 ◽

pp. 166-183 ◽

Author(s):

Luc Bougé

Keyword(s):

Massively Parallel

Download Full-text

Acceptance Automata: A framework for specifying and verifying TCSP parallel systems

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

10.1007/3-540-54152-7_59 ◽

1991 ◽

pp. 75-91 ◽

Author(s):

Luis M. Alonso ◽

Ricardo Peña

Keyword(s):

Parallel Systems

Download Full-text

Structural operational semantics for Kernel Andorra Prolog

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

10.1007/3-540-54152-7_68 ◽

1991 ◽

pp. 238-253

Author(s):

Seif Haridi ◽

Catuscia Palamidessi

Keyword(s):

Operational Semantics ◽

Structural Operational Semantics

Download Full-text

Interfacing engines and schedulers in Or-Parallel Prolog systems

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

10.1007/3-540-54152-7_79 ◽

1991 ◽

pp. 439-453 ◽

Author(s):

Péter Szeredi ◽

Rong Yang ◽

Mats Carlsson

Download Full-text

Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler

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

10.1007/3-540-54152-7_77 ◽

1991 ◽

pp. 403-420 ◽

Author(s):

Anthony Beaumont ◽

Muthu Raman ◽

Péter Szeredi ◽

David H D Warren

Keyword(s):

Flexible Scheduling

Download Full-text

Static analysis of term graph rewriting systems

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

10.1007/3-540-54152-7_75 ◽

1991 ◽

pp. 367-384 ◽

Author(s):

Chris Hankin

Keyword(s):

Static Analysis ◽

Graph Rewriting ◽

Rewriting Systems ◽

Graph Rewriting Systems

Download Full-text

Communication abstraction and refinement

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

10.1007/3-540-54152-7_63 ◽

1991 ◽

pp. 148-165

Author(s):

J. T. Yantchev

Download Full-text