Pages that link to "Item:Q1938379"

The following pages link to A framework for automated distributed implementation of component-based models (Q1938379):

Displaying 9 items.

• Synthesis of large dynamic concurrent programs from dynamic specifications (Q346790) (← links)
• Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation (Q1688550) (← links)
• A framework for automated distributed implementation of component-based models (Q1938379) (← links)
• From global choreographies to verifiable efficient distributed implementations (Q2192464) (← links)
• Component-based formal modeling of PLC systems (Q2375648) (← links)
• Dynamic input/output automata: a formal and compositional model for dynamic systems (Q2629850) (← links)
• Distributed Implementation of Systems with Multiparty Interactions and Priorities (Q3095232) (← links)
• Feedback in Synchronous Relational Interfaces (Q5170752) (← links)
• A Theory Agenda for Component-Based Design (Q5256362) (← links)