A generalization of the E-LOTOS trapping operator: towards reconciliation with LOTOS

摘要

LOTOS and its enhanced version E-LOTOS are standard languages for formal specification of concurrent and reactive systems. For better backward compatibility of E-LOTOS with LOTOS, we introduce into E-LOTOS specification and trapping of non-urgent and potentially decisive successful termination of processes.