A canonical algebra of open transition systems
autor
Di Lavore, Elena
Gianola, Alessandro
Roman Garcia, 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, October 28-29, 2021
konverentsi toimumispaik
virtual event
leitav
https://doi.org/10.1007/978-3-030-90636-8_4
märksõna
algebra
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Conference Proceedings at WOS
Article at WOS
kvartiil
Q3
kategooria (üld)
Computer science
en
Arvutiteadus
et
Mathematics
en
Matemaatika
et
kategooria (alam)
Computer science. General computer science
en
Arvutiteadus. Üldine arvutiteadus
et
Mathematics. Theoretical computer science
en
Matemaatika. Teoreetiline arvutiteadus
et
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
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor