Pages that link to "Item:Q3964002"

The following pages link to On the Construction of Submodule Specifications and Communication Protocols (Q3964002):

Displaying 10 items.

• An improvement of algorithms for solving interface equations (Q293354) (← links)
• The expressive power of implicit specifications (Q685409) (← links)
• Factorisation of finite state machines under strong and observational equivalences (Q1176112) (← links)
• Submodule construction as equation solving in CCS (Q1262748) (← links)
• Interface synthesis and protocol conversion (Q2481210) (← links)
• Progressive solutions to a parallel automata equation (Q2508960) (← links)
• Formal Synthesis of Real-Time Embedded Software by Time-Memory Scheduling of Colored Time Petri Nets1 1This work was partially supported by research project grant NSC-90-2215-E-194-009 from the National Science Council, Taiwan, ROC. (Q2842581) (← links)
• Compositional Reasoning (Q3176370) (← links)
• Progressive Solutions to a Parallel Automata Equation (Q3564943) (← links)
• (Q5021015) (← links)