Lecture Notes in Computer Science - International Symposium on Programming
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540114949, 9783540391845
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Communicating agents for applicative concurrent programming

1982 ◽  
pp. 305-322 ◽  
Author(s):  
Alberto Pettorossi ◽  
Andrzej Skowron
Keyword(s):  
Concurrent Programming

Procedures and concurrency: A study in proof

1982 ◽  
pp. 132-163 ◽  
Author(s):  
Rob Gerth ◽  
Willem P. Roever ◽  
Marly Roncken

Applicative communicating processes in first order logic

1982 ◽  
pp. 1-14 ◽  
Author(s):  
Marco Bellia ◽  
Pierpaolo Degano ◽  
Giorgio Levi ◽  
Enrico Dameri ◽  
Maurizio Martelli
Keyword(s):  
Order Logic ◽  
First Order Logic ◽  
Communicating Processes ◽  
First Order
Load More ...
Sign in / Sign up

Export Citation Format

Share Document