A canonical algebra of open transition systems
author
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
year of publication
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
subject term
kvartiil
category (general)
ISSN
0302-9743
ISBN
978-3-030-90635-1
notes
Bibliogr.: 42 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
Uurimisrühm
Di Lavore, E., Gianola, A., Roman Garcia, M., Sabadini, N., Sobocinski, P.M. 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).