Programming Concepts and Methods PROCOMET ’98
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer US

9781475762990, 9780387353586
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Towards a Theory of Sequential Hybrid Programs

1998 ◽  
pp. 366-384 ◽  
Author(s):  
P. K. Pandya ◽  
H.-P. Wang ◽  
Q.-W. Xu

scholarly journals Final semantics for the π-calculus

1998 ◽  
pp. 225-243 ◽  
Author(s):  
F. Honsell ◽  
M. Lenisa ◽  
U. Montanari ◽  
M. Pistore
Keyword(s):  
Π Calculus

scholarly journals Structures for lazy semantics

1998 ◽  
pp. 30-48 ◽  
Author(s):  
O. Bastonero ◽  
A. Pravato ◽  
S. Ronchi Rocca
Keyword(s):  
Lazy Semantics

scholarly journals Bisimulations in the Join-Calculus

1998 ◽  
pp. 68-86 ◽  
Author(s):  
M. Boreale ◽  
C. Fournet ◽  
C. Laneve
Load More ...
Sign in / Sign up

Export Citation Format

Share Document