Di Lavore, E., Gianola, A., Roman Garcia, M., Sabadini, N., Sobocinski, P.M.

prindi

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

Conference Proceedings at Scopus

Article at Scopus

WOS

Conference Proceedings at WOS

Article at WOS

kvartiil

kategooria (üld)

Arvutiteadus

Matemaatika

kategooria (alam)

Arvutiteadus. Üldine arvutiteadus

Matemaatika. Teoreetiline arvutiteadus

ISSN

0302-9743

ISBN

978-3-030-90635-1

märkused

Bibliogr.: 42 ref

Open Access

teaduspublikatsioon

klassifikaator

3.1

TTÜ struktuuriüksus

tarkvarateaduse instituut

keel

inglise

Uurimisrühm

Kompositsiooniliste süsteemide ja meetodite labor

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