Results 161 to 170 of about 5,187 (217)
Some of the next articles are maybe not open access.

Related searches:

Realisability of Choreographies

2020
Choreographies prescribe the rendez-vous synchronisation of messages in a system of communicating finite state machines. Such a system is called realisable, if the traces of the prescribed communication coincide with those of the asynchronous system of peers, where the communication channels either use FIFO queues or multiset mailboxes.
Klaus-Dieter Schewe   +2 more
openaire   +1 more source

Home - About - Disclaimer - Privacy