Composable partial multiparty session types for open systems
CC BY
Saved in:
Main Authors: | Claude, Stolze, Marino, Miculan, Pietro Di, Gianantonio |
---|---|
Format: | Book |
Language: | English |
Published: |
Springer
2023
|
Subjects: | |
Online Access: | https://link.springer.com/article/10.1007/s10270-022-01040-x https://dlib.phenikaa-uni.edu.vn/handle/PNK/7723 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Affine-Invariant Ensemble Transform Methods for Logistic Regression
by: Jakiw, Pidstrigach, et al.
Published: (2023) -
From assessment to a decision: a global framework for the management of energy use in wastewater systems
by: Jorge, C., et al.
Published: (2023) -
Asymptotic behavior of plate equations driven by colored noise on unbounded domains
by: Xiao Bin, Yao
Published: (2023) -
The emergence of a virus variant: dynamics of a competition model with cross-immunity time-delay validated by wastewater surveillance data for COVID-19
by: Bruce, Pell, et al.
Published: (2023) -
Switched hyperbolic balance laws and differential algebraic equations
by: Raul, Borsche, et al.
Published: (2023)