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