A canonical algebra of open transition systems
autor
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, October 28-29, 2021
konverentsi toimumispaik
virtual event
ISSN
0302-9743
ISBN
978-3-030-90635-1
märkused
Bibliogr.: 42 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
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, 2021. p. 63-81. (Lecture notes in computer science ; 13077).