Refinement and Composition of Transition-based  Rely-Guarantee Specifications with Auxiliary Variables

Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen, K.V. Nori (Editor), C.E. Veni Madhavan (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	10'th Conference on Foundations for Software Technology and Theoretical Computer Science
Publisher	Springer Verlag
Publication date	1990
Pages	332-348
Publication status	Published - 1990
Event	10th Conference on Foundations for Software Technology and Theoretical Computer Science - Bangalore, India Duration: 17 Dec 1990 → 19 Dec 1990 Conference number: 10

Conference	10th Conference on Foundations for Software Technology and Theoretical Computer Science
Number	10
Country/Territory	India
City	Bangalore
Period	17/12/1990 → 19/12/1990

OpenUrl availability

@inproceedings{3eb0c825db524d01b744bc69bd9cac5d,

title = "Refinement and Composition of Transition-based Rely-Guarantee Specifications with Auxiliary Variables",

author = "Peter Gr{\o}nning and Nielsen, {Thomas Qvist} and L{\o}vengreen, {Hans Henrik} and K.V. Nori and {Veni Madhavan}, C.E.",

year = "1990",

language = "English",

pages = "332--348",

booktitle = "10'th Conference on Foundations for Software Technology and Theoretical Computer Science",

publisher = "Springer Verlag",

address = "Germany",

note = "10th Conference on Foundations for Software Technology and Theoretical Computer Science ; Conference date: 17-12-1990 Through 19-12-1990",

}

Grønning, P, Nielsen, TQ, Løvengreen, HH, Nori, KV (ed.) & Veni Madhavan, CE (ed.) 1990, Refinement and Composition of Transition-based Rely-Guarantee Specifications with Auxiliary Variables. in 10'th Conference on Foundations for Software Technology and Theoretical Computer Science. Springer Verlag, pp. 332-348, 10th Conference on Foundations for Software Technology and Theoretical Computer Science, Bangalore, India, 17/12/1990.

Refinement and Composition of Transition-based Rely-Guarantee Specifications with Auxiliary Variables. / Grønning, Peter; Nielsen, Thomas Qvist; Løvengreen, Hans Henrik et al.
10'th Conference on Foundations for Software Technology and Theoretical Computer Science. Springer Verlag, 1990. p. 332-348.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Refinement and Composition of Transition-based Rely-Guarantee Specifications with Auxiliary Variables

AU - Grønning, Peter

AU - Nielsen, Thomas Qvist

AU - Løvengreen, Hans Henrik

A2 - Nori, K.V.

A2 - Veni Madhavan, C.E.

N1 - Conference code: 10

PY - 1990

Y1 - 1990

M3 - Article in proceedings

SP - 332

EP - 348

BT - 10'th Conference on Foundations for Software Technology and Theoretical Computer Science

PB - Springer Verlag

T2 - 10th Conference on Foundations for Software Technology and Theoretical Computer Science

Y2 - 17 December 1990 through 19 December 1990

ER -