Yüklüyor......
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...
Kaydedildi:
| Yayımlandı: | Programming Languages and Systems |
|---|---|
| Asıl Yazarlar: | , , |
| Materyal Türü: | Artigo |
| Dil: | Inglês |
| Baskı/Yayın Bilgisi: |
2021
|
| Konular: | |
| Online Erişim: | https://ncbi.nlm.nih.gov/pmc/articles/PMC7984539/ https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-72019-3_14 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|