A non-interleaving semantics of concurrent processes with name passing

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)45-58
Number of pages14
JournalComputer Software
Volume17
Issue number1
Publication statusPublished - 2000

Fingerprint

Semantics

ASJC Scopus subject areas

  • Software

Cite this

A non-interleaving semantics of concurrent processes with name passing. / Murakami, Masaki.

In: Computer Software, Vol. 17, No. 1, 2000, p. 45-58.

Research output: Contribution to journalArticle

@article{6735e9463f454c5d8db851ea43b7c1b0,
title = "A non-interleaving semantics of concurrent processes with name passing",
author = "Masaki Murakami",
year = "2000",
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 - Murakami, Masaki

PY - 2000

Y1 - 2000

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

VL - 17

SP - 45

EP - 58

JO - Computer Software

JF - Computer Software

SN - 0289-6540

IS - 1

ER -