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

Semantic foundationsRefinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP.

Bibliographische Detailangaben

Körperschaft:	Symposium on the Occasion of 25 Years of CSP (BerichterstatterIn)
Weitere Verfasser:	Abdallah, Ali E. (HerausgeberIn), Jones, Cliff B. (HerausgeberIn), Sanders, Jeff W. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2005
Schriftenreihe:	Lecture notes in computer science 3525
Schlagworte:	CSP (Computer program language) > Parallel programming (Computer science) > Sequential processing (Computer science) > Computer programming > Parallel processing (Electronic computers) > Konferenzschrift > Festschrift > CSP
Online Zugang:	Inhaltstext Verlagsangaben Cover Inhaltsverzeichnis Inhaltstext http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3525
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!