Abstraction and empty process in process algebra

J.C.M. Baeten; R.J. Glabbeek, van

Abstraction and empty process in process algebra

J.C.M. Baeten
, R.J. Glabbeek, van

Research output: Contribution to journal › Article › Popular

80 Downloads (Pure)

Abstract

Formulates a system ACPc, which is a conservative extension of the systems ACP/sub eta /, ACP square root , but also of ACP/sub tau /. This is a general system, in which most relevant issues can be discussed. Abstraction from internal steps can be achieved in two ways, in two stages: one can abstract to the hidden step eta , and then from eta to Milner's silent step tau

Original language	English
Pages (from-to)	221-242
Journal	Fundamenta Informaticae
Volume	12
Issue number	2
Publication status	Published - 1989

Access to Document

586716Final published version, 1.28 MB

Cite this

@article{472d0b9d9a1446cbabe8361db1ba4777,

title = "Abstraction and empty process in process algebra",

abstract = "Formulates a system ACPc, which is a conservative extension of the systems ACP/sub eta /, ACP square root , but also of ACP/sub tau /. This is a general system, in which most relevant issues can be discussed. Abstraction from internal steps can be achieved in two ways, in two stages: one can abstract to the hidden step eta , and then from eta to Milner's silent step tau",

author = "J.C.M. Baeten and \{Glabbeek, van\}, R.J.",

year = "1989",

language = "English",

volume = "12",

pages = "221--242",

journal = "Fundamenta Informaticae",

issn = "0169-2968",

publisher = "SAGE Publications Ltd",

number = "2",

}

TY - JOUR

T1 - Abstraction and empty process in process algebra

AU - Baeten, J.C.M.

AU - Glabbeek, van, R.J.

PY - 1989

Y1 - 1989

N2 - Formulates a system ACPc, which is a conservative extension of the systems ACP/sub eta /, ACP square root , but also of ACP/sub tau /. This is a general system, in which most relevant issues can be discussed. Abstraction from internal steps can be achieved in two ways, in two stages: one can abstract to the hidden step eta , and then from eta to Milner's silent step tau

AB - Formulates a system ACPc, which is a conservative extension of the systems ACP/sub eta /, ACP square root , but also of ACP/sub tau /. This is a general system, in which most relevant issues can be discussed. Abstraction from internal steps can be achieved in two ways, in two stages: one can abstract to the hidden step eta , and then from eta to Milner's silent step tau

M3 - Article

SN - 0169-2968

VL - 12

SP - 221

EP - 242

JO - Fundamenta Informaticae

JF - Fundamenta Informaticae

IS - 2

ER -

Abstraction and empty process in process algebra

Abstract

Access to Document

Fingerprint

Cite this