Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /
Συγγραφή απο Οργανισμό/Αρχή: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2006.
|
Σειρά: | Lecture Notes in Computer Science,
4010 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- Retrospective and Prospective for Unifying Theories of Programming
- Object-Orientation in the UTP
- CSP Is a Retract of CCS
- A Design-Based Model of Reversible Computation
- An Operational Semantics in UTP for a Language of Reactive Designs (Abstract)
- Constructing Property-Oriented Models for Verification
- A Relational Investigation of UTP Designs and Prescriptions
- Unifying Theories in ProofPower-Z
- Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe
- Hierarchical Organisation of Predicate-Semantic Models
- Unifying Probability
- Pointers and Records in the Unifying Theories of Programming
- Mechanising a Unifying Theory
- Modal Design Algebra.