Process Algebra Needs Proof Methodology (Columns: Concurrency)

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	109-125
Journal	Bulletin of the European Association for Theoretical Computer Science
Volume	82
Publication status	Published - 2004

DBLP:journals/eatcs/FokkinkGR04

Persistent URL (handle)

@article{52d5711ed03a4279a80932ce19159b09,

title = "Process Algebra Needs Proof Methodology (Columns: Concurrency)",

author = "W.J. Fokkink and J.F. Groote and M.A. Reniers",

note = "DBLP:journals/eatcs/FokkinkGR04 ",

year = "2004",

language = "English",

volume = "82",

pages = "109--125",

journal = "Bulletin of the European Association for Theoretical Computer Science",

issn = "0252-9742",

}

TY - JOUR

T1 - Process Algebra Needs Proof Methodology (Columns: Concurrency)

AU - Fokkink, W.J.

AU - Groote, J.F.

AU - Reniers, M.A.

N1 - DBLP:journals/eatcs/FokkinkGR04

PY - 2004

Y1 - 2004

M3 - Article

SN - 0252-9742

VL - 82

SP - 109

EP - 125

JO - Bulletin of the European Association for Theoretical Computer Science

JF - Bulletin of the European Association for Theoretical Computer Science

ER -