Ausgabe 6/2013
Inhalt (7 Artikel)
Open Access
Original Article
Reasoning about orchestrations of web services using partial correctness
Alan Stewart, Joaquim Gabarro, Anthony Keenan
Original Article
Simple linear string constraints
Xiang Fu, Michael C. Powell, Michael Bantegui, Chung-Chih Li
Original Article
Explanation of two non-blocking shared-variable communication algorithms
Richard Bornat, Hasan Amjad
Original Article
Deriving dense linear algebra libraries
Paolo Bientinesi, John A. Gunnels, Margaret E. Myers, Enrique S. Quintana-Ortí, Tyler Rhodes, Robert A. van de Geijn, Field G. Van Zee
Open Access
Original Article
Starvation-free mutual exclusion with semaphores
Wim H. Hesselink, Mark IJbema
Original Article
Automatic verification of reduction techniques in Higher Order Logic
Sa’ed Abed, Otmane Ait Mohamed, Ghiath Al Sammane
Open Access
Original Article
Applications of real number theorem proving in PVS
Hanne Gottliebsen, Ruth Hardy, Olga Lightfoot, Ursula Martin