Verifying Process Algebra Proofs in Type Theory

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 315-339
https://doi.org/10.1007/978-1-4471-3229-5_18

Abstract

No abstract available

Keywords

This publication has 5 references indexed in Scilit:

Inductive definitions in the system Coq rules and properties
Published by Springer Nature ,2005
A computer-checked verification of Milner's scheduler
Published by Springer Nature ,1994
Computer-assisted simulation proofs
Published by Springer Nature ,1993
Type theory and concurrency
International Journal of Parallel Programming, 1988
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980