Broadcast Psi-calculi.

Palle Raabjerg Johannes Åman Pohjola Tjark Weber

Published in: Arch. Formal Proofs (2024)

Keyphrases

data broadcasting
data dissemination
qualitative spatial and temporal reasoning
topic maps
digital television
sequent calculi
neural network
social networks
news video
real time
learning algorithm
artificial intelligence
case study
data structure