A canonical algebra of open transition systems
author
Di Lavore, Elena
Gianola, Alessandro
Roman Garcia, Mario
Sabadini, Nicoletta
Sobocinski, Pawel Maria
statement of authorship
Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Paweł Sobociński
source
Formal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings
location of publication
Cham
publisher
Springer Nature
year of publication
2021
pages
p. 63-81
series
Lecture notes in computer science ; 13077
conference name, date
17th International Conference, FACS 2021, October 28-29, 2021
conference location
virtual event
url
https://doi.org/10.1007/978-3-030-90636-8_4
subject term
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
quartile
Q3
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
ISSN
0302-9743
ISBN
978-3-030-90635-1
notes
Bibliogr.: 42 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods