Designing distributed algorithms by means of formal sequentially phased reasoning

Author(s):  
F. A. Stomp ◽  
W. P. de Roever
2002 ◽  
Author(s):  
David Meyer ◽  
Jeffrey Remmel

2006 ◽  
Author(s):  
V. S. Subrahmanian ◽  
Larry Davis ◽  
James Reggia ◽  
Victor Basili ◽  
John Aloimonos

Sign in / Sign up

Export Citation Format

Share Document