A carregar...
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...
Na minha lista:
| Publicado no: | Rigorous State-Based Methods |
|---|---|
| Main Authors: | , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2020
|
| Assuntos: | |
| Acesso em linha: | 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: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|