Conditional axioms and alpha/beta-calculus in process algebra

J.C.M. Baeten; J.A. Bergstra; J.W. Klop

Conditional axioms and alpha/beta-calculus in process algebra

J.C.M. Baeten, J.A. Bergstra, J.W. Klop

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

54 Downloads (Pure)

Abstract

The authors define the alphabet of finite and infinite terms in ACP/sub tau /, the algebra of communicating processes with silent steps, and also give approximations of it. Using the alphabet, they formulate some conditional axioms. The usefulness of the axioms is demonstrated in examples

Original language	English
Title of host publication	Formal Description of Programming Concepts III. Proceedings of the IFIP TC 2/WG 2.2 Working Conference, Ebberup, Denmark, 25-28 August, 1986
Editors	M. Wirsing
Place of Publication	Amsterdam
Publisher	North-Holland Publishing Company
Pages	53-74
ISBN (Print)	0-444-70253-9
Publication status	Published - 1987

Access to Document

586783Final published version, 1.11 MB

Cite this

@inproceedings{164e25c053364d11a8e6cb2d2a4d001f,

title = "Conditional axioms and alpha/beta-calculus in process algebra",

abstract = "The authors define the alphabet of finite and infinite terms in ACP/sub tau /, the algebra of communicating processes with silent steps, and also give approximations of it. Using the alphabet, they formulate some conditional axioms. The usefulness of the axioms is demonstrated in examples",

author = "J.C.M. Baeten and J.A. Bergstra and J.W. Klop",

year = "1987",

language = "English",

isbn = "0-444-70253-9",

pages = "53--74",

editor = "M. Wirsing",

booktitle = "Formal Description of Programming Concepts III. Proceedings of the IFIP TC 2/WG 2.2 Working Conference, Ebberup, Denmark, 25-28 August, 1986",

publisher = "North-Holland Publishing Company",

address = "Netherlands",

}

Conditional axioms and alpha/beta-calculus in process algebra. / Baeten, J.C.M.; Bergstra, J.A.; Klop, J.W.
Formal Description of Programming Concepts III. Proceedings of the IFIP TC 2/WG 2.2 Working Conference, Ebberup, Denmark, 25-28 August, 1986. ed. / M. Wirsing. Amsterdam: North-Holland Publishing Company, 1987. p. 53-74.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

TY - GEN

T1 - Conditional axioms and alpha/beta-calculus in process algebra

AU - Baeten, J.C.M.

AU - Bergstra, J.A.

AU - Klop, J.W.

PY - 1987

Y1 - 1987

N2 - The authors define the alphabet of finite and infinite terms in ACP/sub tau /, the algebra of communicating processes with silent steps, and also give approximations of it. Using the alphabet, they formulate some conditional axioms. The usefulness of the axioms is demonstrated in examples

AB - The authors define the alphabet of finite and infinite terms in ACP/sub tau /, the algebra of communicating processes with silent steps, and also give approximations of it. Using the alphabet, they formulate some conditional axioms. The usefulness of the axioms is demonstrated in examples

M3 - Conference contribution

SN - 0-444-70253-9

SP - 53

EP - 74

BT - Formal Description of Programming Concepts III. Proceedings of the IFIP TC 2/WG 2.2 Working Conference, Ebberup, Denmark, 25-28 August, 1986

A2 - Wirsing, M.

PB - North-Holland Publishing Company

CY - Amsterdam

ER -

Conditional axioms and alpha/beta-calculus in process algebra

Abstract

Access to Document

Fingerprint

Cite this