Semantics of nondeterminism, concurrency, and communication

Nissim Francez; C. A.R. Hoare; Daniel J. Lehmann; Willem P. De Roever

doi:10.1016/0022-0000(79)90006-0

Semantics of nondeterminism, concurrency, and communication

Nissim Francez^*, C. A.R. Hoare, Daniel J. Lehmann, Willem P. De Roever

^*Corresponding author for this work

The Rachel and Selim Benin School of Engineering and Computer Science

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

69 Scopus citations

Original language	English
Pages (from-to)	290-308
Number of pages	19
Journal	Journal of Computer and System Sciences
Volume	19
Issue number	3
DOIs	https://doi.org/10.1016/0022-0000(79)90006-0
State	Published - Dec 1979

Access to Document

10.1016/0022-0000(79)90006-0

Cite this

@article{b0d45032c77745239e1596074762fb08,

title = "Semantics of nondeterminism, concurrency, and communication",

author = "Nissim Francez and Hoare, {C. A.R.} and Lehmann, {Daniel J.} and {De Roever}, {Willem P.}",

year = "1979",

month = dec,

doi = "10.1016/0022-0000(79)90006-0",

language = "אנגלית",

volume = "19",

pages = "290--308",

journal = "Journal of Computer and System Sciences",

issn = "0022-0000",

publisher = "Academic Press Inc.",

number = "3",

}

TY - JOUR

T1 - Semantics of nondeterminism, concurrency, and communication

AU - Francez, Nissim

AU - Hoare, C. A.R.

AU - Lehmann, Daniel J.

AU - De Roever, Willem P.

PY - 1979/12

Y1 - 1979/12

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

U2 - 10.1016/0022-0000(79)90006-0

DO - 10.1016/0022-0000(79)90006-0

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0018681392

SN - 0022-0000

VL - 19

SP - 290

EP - 308

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

IS - 3

ER -

Semantics of nondeterminism, concurrency, and communication

Access to Document

Other files and links

Cite this