Formalizing process algebraic specifications in COQ

M.A. Bezem; R.N. Bol; J.F. Groote

Formalizing process algebraic specifications in COQ

M.A. Bezem, R.N. Bol, J.F. Groote

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

Original language	English
Title of host publication	Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995)
Editors	A.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Pages	105-120
Publication status	Published - 1995

Publication series

Name	Computing Science Reports
Volume	95-14
ISSN (Print)	9432-0101

Cite this

@inproceedings{ae021c948ddd493eb666fdf129c66662,

title = "Formalizing process algebraic specifications in COQ",

author = "M.A. Bezem and R.N. Bol and J.F. Groote",

year = "1995",

language = "English",

series = "Computing Science Reports",

publisher = "Technische Universiteit Eindhoven",

pages = "105--120",

editor = "A.J. Ponse and C. Verhoef and {Vlijmen, van}, S.F.M.",

booktitle = "Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995)",

}

Formalizing process algebraic specifications in COQ. / Bezem, M.A.; Bol, R.N.; Groote, J.F.
Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995). ed. / A.J. Ponse; C. Verhoef; S.F.M. Vlijmen, van. Eindhoven: Technische Universiteit Eindhoven, 1995. p. 105-120 (Computing Science Reports; Vol. 95-14).

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

TY - GEN

T1 - Formalizing process algebraic specifications in COQ

AU - Bezem, M.A.

AU - Bol, R.N.

AU - Groote, J.F.

PY - 1995

Y1 - 1995

M3 - Conference contribution

T3 - Computing Science Reports

SP - 105

EP - 120

BT - Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995)

A2 - Ponse, A.J.

A2 - Verhoef, C.

A2 - Vlijmen, van, S.F.M.

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -