full record print

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
url
ISSN
0302-9743
ISBN
978-3-030-90635-1
notes
Bibliogr.: 42 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
Reserch Group
Laboratory for compositional systems and methods
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, 2021. p. 63-81. (Lecture notes in computer science ; 13077). https://doi.org/10.1007/978-3-030-90636-8_4