On using temporal logic for refinement and compositional verification of concurrent systems

• Authors:

• Abdelillah Mokkedem;Dominique Mé/ry

• Affiliations:

• CRIN-CNRS/ and INRIA-Lorraine, France;CRIN-CNRS/ and INRIA-Lorraine, France

• Venue:
• AMAST '93 Selected papers of the international conference on Algebraic methodology of software technology
• Year:
• 1995