A Communicating System Net Model for Specification and Verification of Distributed Nets.

Björn Pehrson Michael Yoeli

Published in: PSTV (1984)

Keyphrases

high level
computational model
mathematical model
distributed systems
neural network
prior knowledge
probability distribution
management system
databases
cost function
probabilistic model
experimental data
distributed environment
formal model
specification language