A canonical algebra of open transition systems

vastutusandmed
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Paweł Sobociński
allikas
Formal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 63-81
seeria-sari
Lecture notes in computer science ; 13077
konverentsi nimetus, aeg
17th International Conference, FACS 2021 : Virtual Event, October 28-29, 2021
märksõna
kvartiil
Q3
kategooria (üld)
ISSN
0302-9743
ISBN
978-3-030-90635-1
märkused
Bibliogr.: 42 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
Di Lavore, E., Gianola, A., Roman Garcia, M., Sabadini, N., Sobocinski, P.M. A canonical algebra of open transition systems // Formal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings. Cham : Springer Nature Switzerland AG, 2021. p. 63-81. (Lecture notes in computer science ; 13077). https://doi.org/10.1007/978-3-030-90636-8_4