Algebraic Process Verification

Algebraic Process Verification (0)

by J. F. Groote , M. A. Reniers

Venue:	Handbook of Process Algebra, chapter 17
Citations:	55 - 15 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Algebraic Process Verification	user correction - Legacy Corrections
AUTHOR NAME	J. F. Groote	user correction - Legacy Corrections
AUTHOR AFFIL	; Faculty of Mathematics and Computing Science,; Eindhoven University of Technology,	user correction - Legacy Corrections
AUTHOR ADDR	; CWI, P.O. Box 94079, NL-1090 GB Amsterdam, The Netherlands; P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands	user correction - Legacy Corrections
AUTHOR NAME	M. A. Reniers	user correction - Legacy Corrections
AUTHOR AFFIL	Faculty of Mathematics and Computing Science,; Eindhoven University of Technology,	user correction - Legacy Corrections
AUTHOR ADDR	P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands; CWI, P.O. Box 94079, NL-1090 GB Amsterdam, The Netherlands	user correction - Legacy Corrections
ABSTRACT	This chapter addresses the question how to verify distributed and communicating systems in an e#ective way from an explicit process algebraic standpoint. This means that all calculations are based on the axioms and principles of the process algebras.	user correction - Legacy Corrections
YEAR	0	user correction - Legacy Corrections
VENUE	Handbook of Process Algebra, chapter 17	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	1151--1208	INFERENCE
CITATIONS	26 found	ParsCit 1.0