Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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 / / Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)
| 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 / / Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.) |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
| Descrizione fisica | 1 online resource (XIV, 326 p.) |
| Disciplina | 005.13/3 |
| Altri autori (Persone) |
AbdallahAli E. <1957->
JonesC. B <1944-> (Cliff B.) SandersJeff W HoareC. A. R <1934-> (Charles Antony Richard) |
| Collana | Lecture notes in computer science,Festschrift |
| Soggetto topico |
CSP (Computer program language)
Parallel programming (Computer science) Sequential processing (Computer science) Computer programming Parallel processing (Electronic computers) |
| ISBN |
3-540-32265-5
3-540-25813-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Semantic foundations -- Refinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP. |
| Altri titoli varianti | Symposium on the Occasion of 25 years of CSP |
| Record Nr. | UNINA-9910767558403321 |
| Berlin ; ; New York, : Springer, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Communicating Sequential Processes. The First 25 Years [[electronic resource] ] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
| Communicating Sequential Processes. The First 25 Years [[electronic resource] ] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / / edited by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 326 p.) |
| Disciplina | 005.13/3 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Computer programming Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Programming Techniques |
| ISBN |
3-540-32265-5
3-540-25813-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996465819603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||