Pages that link to "Item:Q1952567"

The following pages link to Formal techniques for distributed systems. Joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCo Tec 2013, Florence, Italy, June 3--5, 2013. Pro (Q1952567):

Displayed 4 items.

• Relating two automata-based models of orchestration and choreography (Q272310) ‎ (← links)
• Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (Q516036) ‎ (← links)
• Improving the Big Mac Attack on Elliptic Curve Cryptography (Q2803645) ‎ (← links)
• (Q5020535) ‎ (← links)