—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
The switch from the Command-and-Control to Learning Organisation paradigm in the area of organisational theory is well understood. It is less well appreciated that learning organi...
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
Rajesh Mascarenhas, Dinkar Karumuri, Ugo A. Buy, R...
This study details the synergistic application of ergonomic analysis, discrete-process simulation, and statistical analysis to the problems of determining the optimum design for a...
We propose a protocol that controls the members of a multicast group that send periodically status reports to all members. The protocol, called Multicast Access Protocol (MAP), li...