The use of such EACS promises substantial benefits but its successful imple
mentation is hampered by the lack of a suitable formalism, particularly whe
re, as is often the case, participants are geographically separated. The wo
rk presented in this paper is focused on how to implement EACS, where the p
articipants may be remote, in a formal and systematic way. An Internet netw
ork based application is described that uses the Internet to support EACS,
and an example is used to illustrate the implementation. (C) 1999 Elsevier
Science Ltd. All rights reserved.