1
(* Title: HOLCF/IOA/meta_theory/Compositionality.thy
2
ID: $Id$
3
Author: Olaf M"uller
4
Copyright 1997 TU Muenchen
5
6
Compositionality of I/O automata
7
*)
8
9
Compositionality = Automata + Traces + CompoTraces