Algebraic Process Verification (0)

by J. F. Groote , M. A. Reniers
Venue:Handbook of Process Algebra, chapter 17
Citations:62 - 16 self

Document Versions

Algebraic Process Verification –J. F. Groote, M. A. Reniers — Handbook of Process Algebra, chapter 17
Confluence for Process Verification –J. F. Groote, M. P. A. Sellink — 1996 — THEORETICAL COMPUTER SCIENCE
Confluence for Process Verification –J. F. Groote, M. P. A. Sellink — 1996
Confluence for Process Verification –J. F. Groote, M. P. A. Sellink — 1996
Algebraic Process Verification –J. F. Groote, M.A. Reniers — 2000
Confluence for Process Verification –Groote Sellink, J. F. Groote, M. P. A. Sellink — 1996 — Handbook of Process Algebra, chapter 17
Confluence for Process Verification –Groote Sellink, J. F. Groote, M. P. A. Sellink — 1996 — Handbook of Process Algebra, chapter 17