src/HOLCF/IOA/meta_theory/IOA.thy
changeset 3434 ba4f83a24ad8
parent 3275 3f53f2c876f4
child 4565 ea467ce15040
equal deleted inserted replaced
3433:2de17c994071 3434:ba4f83a24ad8
     6 The theory of I/O automata in HOLCF.
     6 The theory of I/O automata in HOLCF.
     7 *)   
     7 *)   
     8 
     8 
     9  
     9  
    10 	       
    10 	       
    11 IOA = RefCorrectness + Compositionality
    11 IOA = RefCorrectness + Compositionality + Deadlock
    12 
    12 
    13 
    13