A state-based approach to communicating processes

Mark B. Josephs

doi:10.1007/BF01788563

A state-based approach to communicating processes

Mark B. Josephs^*

^*Corresponding author for this work

IBM

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

72 Citations (Scopus)

Original language	English
Pages (from-to)	9-18
Number of pages	10
Journal	Distributed Computing
Volume	3
Issue number	1
DOIs	https://doi.org/10.1007/BF01788563
Publication status	Published (VoR) - Mar 1988

Keywords

Communicating processes
Failures model
Refinement
Simulation
State-transition systems

Access to Document

10.1007/BF01788563

Cite this

@article{b628075eb5124d66863b015c50084e08,

title = "A state-based approach to communicating processes",

keywords = "Communicating processes, Failures model, Refinement, Simulation, State-transition systems",

author = "Josephs, {Mark B.}",

year = "1988",

month = mar,

doi = "10.1007/BF01788563",

language = "English",

volume = "3",

pages = "9--18",

journal = "Distributed Computing",

issn = "0178-2770",

publisher = "Springer",

number = "1",

}

TY - JOUR

T1 - A state-based approach to communicating processes

AU - Josephs, Mark B.

PY - 1988/3

Y1 - 1988/3

KW - Communicating processes

KW - Failures model

KW - Refinement

KW - Simulation

KW - State-transition systems

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

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

U2 - 10.1007/BF01788563

DO - 10.1007/BF01788563

M3 - Article

AN - SCOPUS:0001955499

SN - 0178-2770

VL - 3

SP - 9

EP - 18

JO - Distributed Computing

JF - Distributed Computing

IS - 1

ER -

A state-based approach to communicating processes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this