Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Zorica Savanović
Observed name:
Savanovic, Zorica
Institution:
IMT School for Advanced Studies Lucca
Observed institution:
IMT School for Advanced Studies Lucca
ORCID:
0000-0003-0004-8146
Observed ORCID:
0000-0003-0004-8146
OpenAlex ID:
A5063423993
A type language for message passing component-based systems
2020
·
Zorica Savanović
, Letterio Galletta
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
7
A type language for distributed reactive components governed by communication protocols
2023
·
Zorica Savanović
, Letterio Galletta
·
Journal of Logical and Algebraic Methods in Programming
Show more works
View as search
Works count:
3
Citation count:
7
H-index:
1
I10-index:
Year
Topic
Type
