Verifying Process Algebra Proofs in Type Theory.

M. P. A. Sellink

Published in: Semantics of Specification Languages (1993)

Keyphrases

process algebra
model checking
asynchronous circuits
formal methods
concurrent systems
formal specification
temporal logic
web services composition
formal languages
concurrent programs
relational databases
programming environment
information systems
object oriented