IEICE TRANSACTIONS on transactions
A Process Algebra Featuring Action Refinement
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
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
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://global.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 -
English
