Unifying Theories of Programming: 5th International Symposium, UTP 2014

Unifying Theories of Programming: 5th International Symposium, UTP 2014 Front Cover
0 Reviews
2015-01-05
143 pages

Book Description

This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of , UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of , such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.

Table of Contents

Chapter 1 Three Approaches to Timed External Choice in UTP
Chapter 2 Isabelle/UTP: A Mechanised Theory
Chapter 3 Angelicism in the Theory of Reactive Processes
Chapter 4 Constructing the Views Framework
Chapter 5 Towards Algebraic Semantics of Circus Time
Chapter 6 Observation-Oriented Semantics for of Wireless
Chapter 7 A Formal Model for a Programming Language

Book Details

  • Title: Unifying Theories of Programming: 5th International Symposium, UTP 2014
  • Length: 143 pages
  • Edition: 2015
  • Language: English
  • Publisher:
  • Publication Date: 2015-01-05
  • ISBN-10: 3319148052
  • ISBN-13: 9783319148052
Download LinkFormatSize (MB)Upload Date
Download from EU(multi)True PDF2.705/31/2015
How to Download? Report Dead Links & Get a Copy