Results 1 
2 of
2
Algebraic Process Verification
 Handbook of Process Algebra, chapter 17
"... 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. ..."
Abstract

Cited by 62 (16 self)
 Add to MetaCart
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.
Verifying process algebra proofs in type theory
, 1993
"... In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typedcalculus. Inhabitants (terms) of these types represent proofs. The speci c typedcalculus we use is the Calculus of Inductive Constructions as implemented in the i ..."
Abstract

Cited by 16 (1 self)
 Add to MetaCart
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typedcalculus. Inhabitants (terms) of these types represent proofs. The speci c typedcalculus we use is the Calculus of Inductive Constructions as implemented in the interactive proof construction program COQ.