A non-interleaving semantics of concurrent processes with name passing

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

ASJC Scopus subject areas

@article{6735e9463f454c5d8db851ea43b7c1b0,

title = "A non-interleaving semantics of concurrent processes with name passing",

author = "Murakami Masaki",

year = "2000",

month = dec,

day = "1",

language = "English",

volume = "17",

pages = "45--58",

journal = "Computer Software",

issn = "0289-6540",

publisher = "Japan Society for Software Science and Technology",

number = "1",

}

TY - JOUR

T1 - A non-interleaving semantics of concurrent processes with name passing

AU - Masaki, Murakami

PY - 2000/12/1

Y1 - 2000/12/1

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

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

M3 - Article

AN - SCOPUS:52849094552

SN - 0289-6540

VL - 17

SP - 45

EP - 58

JO - Computer Software

JF - Computer Software

IS - 1

ER -