A carregar...
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
Compositional methods are central to the development and verification of software systems. They allow breaking down large systems into smaller components, while enabling reasoning about the behaviour of the composed system. For concurrent and communicating systems, compositional techniques based on...
Na minha lista:
| Publicado no: | Programming Languages and Systems |
|---|---|
| Main Authors: | , , |
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
2021
|
| Assuntos: | |
| Acesso em linha: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7984539/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-72019-3_14 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|