Interacting processes: a language for coordinated distributed programming

Author(s):  
N. Francez ◽  
I.R. Forman
IEEE Software ◽  
1991 ◽  
Vol 8 (1) ◽  
pp. 66-73 ◽  
Author(s):  
S.K. Shrivastava ◽  
G.N. Dixon ◽  
G.D. Parrington

Author(s):  
Nikhil Swamy ◽  
Juan Chen ◽  
Cédric Fournet ◽  
Pierre-Yves Strub ◽  
Karthikeyan Bhargavan ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document