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

TOTAL DOCUMENTS

26
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540179450, 9783540471813
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A reduction semantics for imperative higher-order languages

1987 ◽  
pp. 206-223 ◽  
Author(s):  
Matthias Felleisen ◽  
Daniel P. Friedman
Keyword(s):  
Higher Order

Petri net models for algebraic theories of concurrency

1987 ◽  
pp. 224-242 ◽  
Author(s):  
Rob van Glabbeek ◽  
Frits Vaandrager
Keyword(s):  
Petri Net ◽  
Algebraic Theories

Task sequencing language for specifying distributed Ada systems TSL-1

1987 ◽  
pp. 444-463 ◽  
Author(s):  
D. C. Luckham ◽  
D. P. Helmbold ◽  
D. L. Bryan ◽  
M. A. Haberler
Keyword(s):  
Task Sequencing

Term graph rewriting

1987 ◽  
pp. 141-158 ◽  
Author(s):  
H. P. Barendregt ◽  
M. C. J. D. Eekelen ◽  
J. R. W. Glauert ◽  
J. R. Kennaway ◽  
M. J. Plasmeijer ◽  
...  
Keyword(s):  
Graph Rewriting
Load More ...
Sign in / Sign up

Export Citation Format

Share Document