Vor Ort
Merkzettel Warenkorb
  • Produktbild: Communicating Sequential Processes. The First 25 Years
  • Produktbild: Communicating Sequential Processes. The First 25 Years

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

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.05.2005

Herausgeber

Ali E. Abdallah + weitere

Verlag

Springer Berlin

Seitenzahl

326

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

522 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-25813-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

03.05.2005

Herausgeber

Verlag

Springer Berlin

Seitenzahl

326

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

522 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-25813-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Communicating Sequential Processes. The First 25 Years
  • Produktbild: Communicating Sequential Processes. The First 25 Years
  • Semantic Foundations.- Retracing the Semantics of CSP.- Seeing Beyond Divergence.- Refinement and Simulation.- Process Algebra: A Unifying Approach.- Linking Theories of Concurrency.- Hardware Synthesis.- CSP, occam and Transputers.- Models for Data-Flow Sequential Processes.- Implementation of Handshake Components.- Transactions.- A Trace Semantics for Long-Running Transactions.- Practical Application of CSP and FDR to Software Design.- Concurrent Programming.- Communicating Mobile Processes.- Model-Based Design of Concurrent Programs.- Linking Theories.- Of Probabilistic wp and CSP—and Compositionality.- Order, Topology, and Recursion Induction in CSP.- Security.- Verifying Security Protocols: An Application of CSP.- Shedding Light on Haunted Corners of Information Security.- Automated Development and Model Checking.- Operational Semantics for Fun and Profit.- On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations.- Industrial Strength CSP.- Industrial Strength CSP: Opportunities and Challenges in Model-Checking.- Applied Formal Methods – From CSP to Executable Hybrid Specifications.