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
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
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85119830813&origin=inward&txGid=3d230471a215d29c8d34aabc508a1816
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000763101000004
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
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