Transformational semantics for concurrent programs

M. Broy

doi:10.1016/0020-0190(80)90009-5

Transformational semantics for concurrent programs

M. Broy

TUM Emeriti of Excellence

Research output: Contribution to journal › Article › peer-review

15 Scopus citations

Original language	English
Pages (from-to)	87-91
Number of pages	5
Journal	Information Processing Letters
Volume	11
Issue number	2
DOIs	https://doi.org/10.1016/0020-0190(80)90009-5
State	Published - 1980

Keywords

Formal semantics
concurrent programs
program development
transformation rules

Access to Document

10.1016/0020-0190(80)90009-5

Cite this

@article{e09cf583356649a59e8f3bd335cacb8a,

title = "Transformational semantics for concurrent programs",

keywords = "Formal semantics, concurrent programs, program development, transformation rules",

author = "M. Broy",

year = "1980",

doi = "10.1016/0020-0190(80)90009-5",

language = "English",

volume = "11",

pages = "87--91",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - Transformational semantics for concurrent programs

AU - Broy, M.

PY - 1980

Y1 - 1980

KW - Formal semantics

KW - concurrent programs

KW - program development

KW - transformation rules

UR - http://www.scopus.com/inward/record.url?scp=0019075398&partnerID=8YFLogxK

U2 - 10.1016/0020-0190(80)90009-5

DO - 10.1016/0020-0190(80)90009-5

M3 - Article

AN - SCOPUS:0019075398

SN - 0020-0190

VL - 11

SP - 87

EP - 91

JO - Information Processing Letters

JF - Information Processing Letters

IS - 2

ER -

Transformational semantics for concurrent programs

Keywords

Access to Document

Other files and links

Cite this