Compositional specification of parallel time-critical systems

The work discussed originated in an attempt to shape a practical specification tool that closely integrates a formal specification method into a software development process of parallel time-critical systems. The principal new feature is the concept of incorporating the specification of the dynamic behavior of a system component as part of its type information. Two well-formedness conditions for the `composition´ operation guarantee statically that a composite component is constructed correctly with respect to its specification and the specifications of its subcomponents