Login / Signup
Zorica Savanovic
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Sum Product
Distributed Shared Memory
Active Contours
Ldpc Codes
Top Venues
J. Log. Algebraic Methods Program.
ICE
</>
Publications
</>
Zorica Savanovic
,
Letterio Galletta
A type language for distributed reactive components governed by communication protocols.
J. Log. Algebraic Methods Program.
132 (2023)
Zorica Savanovic
,
Letterio Galletta
,
Hugo Torres Vieira
A type language for message passing component-based systems.
ICE
(2020)