MGTP Applications (2) 
Protocol Specification Description System 



Abstract 

In order to describe a complex protocol specification easily, we proposed 
a protocol specification description language, Ack. We developed a process-
ing system for this language using the parallel theorem proving technique, 
and applied it to the description of several services for a telephone switching 
system. 

Ack Notation 


Axioms for Ack 



					- 73 -