Unifying Theories of Programming First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Dunne, Steve (Επιμελητής έκδοσης), Stoddart, Bill (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα: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.