Progress in deriving concurrent programs: Emphasizing the role of stable guards
Contribuinte(s) |
T. Uustalu |
---|---|
Data(s) |
01/01/2006
|
Resumo |
We present some techniques to obtain smooth derivations of concurrent programs that address both safety and progress in a formal manner. Our techniques form an extension to the calculational method of Feijen and van Casteren using a UNITY style progress logic. We stress the role of stable guards, and we illustrate the derivation techniques on some examples in which progress plays an essential role. |
Identificador | |
Idioma(s) |
eng |
Publicador |
Springer |
Palavras-Chave | #Computer Science, Theory & Methods #Stable guards #08 Information and Computing Sciences #0802 Computation Theory and Mathematics |
Tipo |
Conference Paper |