2006

Applied parallel computing : state of the art in scientific computing : 7th international workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004 : revised selected papers

PARA 2004 (2004 : Lyngby, Denmark)



 

2005

Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers

Symposium on the Occasion of 25 years of CSP (2004 : London, England)



 

1989

Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship

Zwiers, J. (Job), 1956-

Berlin ; New York : Springer-Verlag, ©1989

 

2005

Computational science and its applications, ICCSA 2005 : international conference, Singapore, May 9-12, 2005 : proceedings

ICCSA 2005 (2005 : Singapore)



 

1995

CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995 : proceedings

International Conference on Concurrency Theory (6th : 1995 : Philadelphia, Pa.)



 

2005

CONCUR 2005 -- concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings

International Conference on Concurrency Theory (16th : 2005 : San Francisco, Calif.)



 

2005

Coordination models and languages : 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005 : proceedings

COORDINATION (Conference) (7th : 2005 : Namur, Belgium)



 

2005

Distributed and parallel computing : 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005 : proceedings

International Conference on Algorithms and Architectures for Parallel Processing (6th : 2005 : Melbourne, Vic.)



 

2005

Euro-Par 2005 parallel processing : 11th International Euro-Par Conference, Lisbon, Portugal, August 30-September 2, 2005 : proceedings

International EURO-PAR Conference (11th : 2005 : Lisbon, Portugal)



 

2005

Job scheduling strategies for parallel processing : 11th international workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005 : revised selected papers

JSSPP (Workshop) (11th : 2005 : Cambridge, Mass.)



 

2005

Languages and compilers for high performance computing : 17th international workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004 : revised selected papers

LCPC (Workshop) (17th : 2004 : West Lafayette, Ind.)



 

2005

Parallel and distributed computing, applications and technologies : 5th international conference, PDCAT 2004, Singapore, December 8-10, 2004 : proceedings

PDCAT 2004 (2004 : Singapore)



 

2005

Parallel and distributed processing and applications : second international symposium, ISPA 2004, Hong Kong, China, December 13-15, 2004 ; proceedings

ISPA (Conference) (2004 : Hong Kong, China)



 

2005

Parallel computing technologies : 8th international conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005 : proceedings

International Conference on Parallel Computing Technologies (8th : 2005 : Krasnoi︠a︡rsk, Russia)