Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540539322, 9783540464525

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An operational semantics of ANDOR-II, a parallel logic programming language with AND- and OR- parallelism

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_51 ◽

1991 ◽

pp. 173-209

Author(s):

Akikazu Takeuchi ◽

Kazuko Takahashi

Keyword(s):

Logic Programming ◽

Programming Language ◽

Operational Semantics ◽

Logic Programming Language ◽

Parallel Logic Programming

Download Full-text

Overview of the workshop

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_59 ◽

1991 ◽

pp. 325-328

Download Full-text

A hierarchical approach to hardware design

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_56 ◽

1991 ◽

pp. 282-296

Author(s):

J. W. Sanders

Keyword(s):

Hardware Design ◽

Hierarchical Approach

Download Full-text

Exception handling and real time features in an object-oriented concurrent language

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_46 ◽

1991 ◽

pp. 91-109 ◽

Cited By ~ 4

Author(s):

Yuuji Ichisugi ◽

Akinori Yonezawa

Keyword(s):

Real Time ◽

Object Oriented ◽

Exception Handling

Download Full-text

Graph rewriting as a computational model

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_54 ◽

1991 ◽

pp. 235-256

Author(s):

D. L. McBurney ◽

M. R. Sleep

Keyword(s):

Computational Model ◽

Graph Rewriting

Download Full-text

A parallel object oriented language Fleng++ and its control system on the parallel machine PIE64

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_50 ◽

1991 ◽

pp. 157-172

Author(s):

Hidehiko Tanaka

Keyword(s):

Control System ◽

Object Oriented ◽

Parallel Machine

Download Full-text

Some results on the π-calculus

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_42 ◽

1991 ◽

pp. 21-35 ◽

Cited By ~ 1

Author(s):

David Walker

Keyword(s):

Π Calculus

Download Full-text

Using the temporal logic RDL for design specifications

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_44 ◽

1991 ◽

pp. 64-78 ◽

Cited By ~ 2

Author(s):

Dov Gabbay ◽

Ian Hodkinson ◽

Anthony Hunter

Keyword(s):

Temporal Logic ◽

Design Specifications

Download Full-text

Abstracts of talks

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_60 ◽

1991 ◽

pp. 330-334

Download Full-text

The computational field model for open distributed environments (extended abstract)

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture ◽

10.1007/3-540-53932-8_48 ◽

1991 ◽

pp. 136-141 ◽

Cited By ~ 3

Author(s):

Mario Tokoro ◽

Kohei Honda

Keyword(s):

Field Model ◽

Distributed Environments

Download Full-text

Lecture Notes in Computer Science - Concurrency: Theory, Language, and ArchitectureLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An operational semantics of ANDOR-II, a parallel logic programming language with AND- and OR- parallelism

Overview of the workshop

A hierarchical approach to hardware design

Exception handling and real time features in an object-oriented concurrent language

Graph rewriting as a computational model

A parallel object oriented language Fleng++ and its control system on the parallel machine PIE64

Some results on the π-calculus

Using the temporal logic RDL for design specifications

Abstracts of talks

The computational field model for open distributed environments (extended abstract)

Lecture Notes in Computer Science - Concurrency: Theory, Language, and Architecture
Latest Publications