Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework

Howard Barringer; Ruurd Kuiper; Stephen D Brookes; A W Roscoe; Glynn Winskel

Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework

Howard Barringer, Ruurd Kuiper, Stephen D Brookes (Editor), A W Roscoe (Editor), Glynn Winskel (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Seminar on Concurrency
Editors	Stephen D Brookes, A W Roscoe, Glynn Winskel
Publisher	Springer Nature
Pages	35-61
Number of pages	27
Volume	197
ISBN (Print)	3-540-15670-4
Publication status	Published - 1984
Event	Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/concur/concur1984.html#BarringerK84http://dblp.uni-trier.de/rec/bibtex/conf/concur/BarringerK84.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/concur/BarringerK84

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/concur/concur1984.html#BarringerK84http://dblp.uni-trier.de/rec/bibtex/conf/concur/BarringerK84.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/concur/BarringerK84

Access to Document

Cite this

Barringer, H., Kuiper, R., Brookes, S. D. (Ed.), Roscoe, A. W. (Ed.), & Winskel, G. (Ed.) (1984). Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. In S. D. Brookes, A. W. Roscoe, & G. Winskel (Eds.), Seminar on Concurrency (Vol. 197, pp. 35-61). (Lecture Notes in Computer Science). Springer Nature. http://dblp.uni-trier.de/db/conf/concur/concur1984.html#BarringerK84

@inproceedings{401101711167444cadda7cb65e0e3570,

title = "Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework",

author = "Howard Barringer and Ruurd Kuiper and Brookes, {Stephen D} and Roscoe, {A W} and Glynn Winskel",

year = "1984",

language = "English",

isbn = "3-540-15670-4",

volume = "197",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "35--61",

editor = "Brookes, {Stephen D} and Roscoe, {A W} and Glynn Winskel",

booktitle = "Seminar on Concurrency",

address = "United States",

note = "Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/concur/concur1984.html#BarringerK84http://dblp.uni-trier.de/rec/bibtex/conf/concur/BarringerK84.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/concur/BarringerK84",

}

Barringer, H, Kuiper, R, Brookes, SD (ed.), Roscoe, AW (ed.) & Winskel, G (ed.) 1984, Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. in SD Brookes, AW Roscoe & G Winskel (eds), Seminar on Concurrency. vol. 197, Lecture Notes in Computer Science, Springer Nature, pp. 35-61, Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984, 1/01/24. <http://dblp.uni-trier.de/db/conf/concur/concur1984.html#BarringerK84>

Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework. / Barringer, Howard; Kuiper, Ruurd; Brookes, Stephen D (Editor) et al.
Seminar on Concurrency. ed. / Stephen D Brookes; A W Roscoe; Glynn Winskel. Vol. 197 Springer Nature, 1984. p. 35-61 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding › Conference contribution

TY - GEN

T1 - Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework

AU - Barringer, Howard

AU - Kuiper, Ruurd

A2 - Brookes, Stephen D

A2 - Roscoe, A W

A2 - Winskel, Glynn

A2 - Brookes, Stephen D

A2 - Roscoe, A W

A2 - Winskel, Glynn

PY - 1984

Y1 - 1984

M3 - Conference contribution

SN - 3-540-15670-4

VL - 197

T3 - Lecture Notes in Computer Science

SP - 35

EP - 61

BT - Seminar on Concurrency

PB - Springer Nature

T2 - Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984

Y2 - 1 January 1824

ER -