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 : Virtual Event, October 28–29, 2021
märksõna
ISSN
0302-9743
ISBN
978-3-030-90635-1
märkused
Bibliogr.: 42 ref
Open Access
Open Access (roheline)
klassifikaator
3.1
TTÜ struktuuriüksus
keel
inglise
Di Lavore, E., Gianola, A., Roman, M., Sabadini, N., Sobocinski, P. 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).