A formal model of distributed Ada tasking.

Geert B. Clemmensen

Published in: AdaTEC Conference on Ada (1982)

Keyphrases

formal model
distributed systems
formal models
distributed environment
real time
cooperative
multi agent
neural network
software engineering
peer to peer
probabilistic knowledge