Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach

• Authors:

• Job Zwiers;Willem P. de Roever

• Affiliations:

• -;-

• Venue:
• Temporal Logic in Specification
• Year:
• 1987