Pages that link to "Item:Q3506397"
From MaRDI portal
The following pages link to Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis (Q3506397):
Displaying 3 items.
- Formalizing network flow algorithms: a refinement approach in Isabelle/HOL (Q1722647) (← links)
- Design of a multi-formalism application and distribution in a data-flow context: An example (Q2758308) (← links)
- Data Intensive Distributed Computing in Data Aware Self-organizing Networks (Q2889856) (← links)