MPG.eBooks - Search Results - functions of a complete verifiable

Search alternatives:
complete verifiable » complete variable , complete decidable , complete verification
functions » function

Cover Image

1

Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS’93, Gdańsk, Poland, August 30–September 3, 1993 Proceedings

Published 1993

Springer Berlin Heidelberg

Table of Contents: “... tests -- A complete axiomatization for branching bisimulation congruence of finite-state behaviours...”