CIL(ID:6217/cil002)

for Communication Service Implementation Language


References:
  • Drobnik, O. ; H. Krumm, CIL - A Language for the Implementation of Communication Services, in: Schindler, S. and Spaniol, O. (eds.), Kommunikation in verteilten Systemen - Anwendungen und Betrieb (Springer, Berlin, 1983) view details
  • H. Krumm O. Drobnik "Interactive verification of communication software on the basis of CIL" Source Applications, Technologies, Architectures,and Protocols for Computer Communication archive Montréal, Quebec, Canada view details