Proof Theory for µCRL: A Language for Processes with Data.

Publisher Website

1 January 1994

book chapter
Published by Springer Nature

p. 232-251
https://doi.org/10.1007/978-1-4471-3229-5_13

Abstract

No abstract available

Keywords

PROOF THEORY

This publication has 2 references indexed in Scilit:

Laws of programming
Communications of the ACM, 1987
Logic and Structure
Published by Springer Nature ,1983