Formal Analysis of Waiting Times for Distributed Real-time Processes.

Horst F. Wedde Bogdan Korel Dorota M. Huizinga

Published in: ICDCS (1992)

Keyphrases

formal analysis
waiting times
formal methods
low cost
mobile agents
agent model
machine learning
distributed systems
ban logic
web services
graphical models