Chargement en cours...
Event-B-Supported Choreography-Defined Communicating Systems: Correctness and Completeness
Choreographies prescribe the rendez-vous synchronisation of messages in a communicating system. 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 multis...
Enregistré dans:
| Publié dans: | Rigorous State-Based Methods |
|---|---|
| Auteurs principaux: | , , |
| Format: | Artigo |
| Langue: | Inglês |
| Publié: |
2020
|
| Sujets: | |
| Accès en ligne: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7242033/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-48077-6_11 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|