Login / Signup
A type language for distributed reactive components governed by communication protocols.
Zorica Savanovic
Letterio Galletta
Published in:
J. Log. Algebraic Methods Program. (2023)
Keyphrases
</>
decision support
communication protocols
strongly typed
process algebra
programming language
distributed systems
communication protocol
type checking
natural language
peer to peer
distributed environment
communication networks
multi agent
computer networks
end to end