Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE

• Authors:

• Naoshi Uchihira;Shinichi Honiden

• Affiliations:

• -;-

• Venue:
• Journal of Systems and Software - Special issue on software engineering for distributed computing
• Year:
• 1996