A Process Algebra Featuring Action Refinement

Masaki ITOH

A Process Algebra Featuring Action Refinement

Masaki ITOH

Full Text Views

0

Share
Cite this

Summary :

A process algebra dACP based on differential equivalence (d-equivalence) and the algebra ACP by Bergstra et al. is proposed. The features of dACP are as follows:
・Real parallelism can be distiguished from action interleaving.
・Action refinement is possible under d-equivalence.
Thus, dACP resolves the difficulties of ACP caused by the atomicity of actions assumed in ACP. After defining dACP, d-equivalence is shown to imply the original equivalence defined in ACP. Next, it is shown that action refinement can be introduced in a natural way under d-equivalence.

Publication: IEICE TRANSACTIONS on transactions Vol.E73-E No.11 pp.1880-1885

Publication Date: 1990/11/25

Publicized

Online ISSN

DOI

Type of Manuscript: PAPER

Category: Automaton, Language and Theory of Computing

Authors

Masaki ITOH

Keyword

Cite this

Copy

Masaki ITOH, "A Process Algebra Featuring Action Refinement" in IEICE TRANSACTIONS on transactions, vol. E73-E, no. 11, pp. 1880-1885, November 1990, doi: .
Abstract: A process algebra dACP based on differential equivalence (d-equivalence) and the algebra ACP by Bergstra et al. is proposed. The features of dACP are as follows:
・Real parallelism can be distiguished from action interleaving.
・Action refinement is possible under d-equivalence.
Thus, dACP resolves the difficulties of ACP caused by the atomicity of actions assumed in ACP. After defining dACP, d-equivalence is shown to imply the original equivalence defined in ACP. Next, it is shown that action refinement can be introduced in a natural way under d-equivalence.
URL: https://globals.ieice.org/en_transactions/transactions/10.1587/e73-e_11_1880/_p

Copy

@ARTICLE{e73-e_11_1880,
author={Masaki ITOH, },
journal={IEICE TRANSACTIONS on transactions},
title={A Process Algebra Featuring Action Refinement},
year={1990},
volume={E73-E},
number={11},
pages={1880-1885},
abstract={A process algebra dACP based on differential equivalence (d-equivalence) and the algebra ACP by Bergstra et al. is proposed. The features of dACP are as follows:
・Real parallelism can be distiguished from action interleaving.
・Action refinement is possible under d-equivalence.
Thus, dACP resolves the difficulties of ACP caused by the atomicity of actions assumed in ACP. After defining dACP, d-equivalence is shown to imply the original equivalence defined in ACP. Next, it is shown that action refinement can be introduced in a natural way under d-equivalence.},
keywords={},
doi={},
ISSN={},
month={November},}

Copy

TY - JOUR
TI - A Process Algebra Featuring Action Refinement
T2 - IEICE TRANSACTIONS on transactions
SP - 1880
EP - 1885
AU - Masaki ITOH
PY - 1990
DO -
JO - IEICE TRANSACTIONS on transactions
SN -
VL - E73-E
IS - 11
JA - IEICE TRANSACTIONS on transactions
Y1 - November 1990
AB - A process algebra dACP based on differential equivalence (d-equivalence) and the algebra ACP by Bergstra et al. is proposed. The features of dACP are as follows:
・Real parallelism can be distiguished from action interleaving.
・Action refinement is possible under d-equivalence.
Thus, dACP resolves the difficulties of ACP caused by the atomicity of actions assumed in ACP. After defining dACP, d-equivalence is shown to imply the original equivalence defined in ACP. Next, it is shown that action refinement can be introduced in a natural way under d-equivalence.
ER -