Pages that link to "Item:Q1952567"
From MaRDI portal
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)