A canonical algebra of open transition systems

autor
Gianola, Alessandro
Roman, Mario
Sabadini, Nicoletta
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).