Nalaganje...
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...
Shranjeno v:
| izdano v: | Rigorous State-Based Methods |
|---|---|
| Main Authors: | , , |
| Format: | Artigo |
| Jezik: | Inglês |
| Izdano: |
2020
|
| Teme: | |
| Online dostop: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7242033/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-48077-6_11 |
| Oznake: |
Označite
Brez oznak, prvi označite!
|