prindi

A canonical algebra of open transition systems

autor
Di Lavore, Elena
Gianola, Alessandro
Roman, Mario
Sabadini, Nicoletta
Sobocinski, Pawel Maria
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
Springer Nature Switzerland AG
ilmumisaasta
2021
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
leitav
https://doi.org/10.1007/978-3-030-90636-8_4
märksõna
algebra
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
tarkvarateaduse instituut
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).