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

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.

Gespeichert in:
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!
Beschreibung
Zusammenfassung:Semantic foundationsRefinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP.
Beschreibung:Literaturangaben
Beschreibung:XIV, 320 S.
graph. Darst.
235 mm x 155 mm
ISBN:9783540258131
978-3-540-25813-1
3540258132
3-540-25813-2