(*
 * The LOTOS specifications of the INRES service and protocol are compiled
 * using the CAESAR.ADT and CAESAR compilers and then reduced modulo strong
 * equivalence using the BCG_MIN tool. This generates two graphs called
 * "inres_service_int.bcg" and "inres_protocol_int_6.bcg", respectively.
 *)

"inres_service_int.bcg" =
    strong reduction of generation of "inres_service_int.lotos";

"inres_protocol_int_6.bcg" =
    strong reduction of generation of "inres_protocol_int_6.lotos";