Computations of distributed systems are extremely difficult to specify and verify using traditional techniques because the systems are inherently concurrent, as

The authors develop an event-based model to specify formally the behavior (the external view) and the structure (the internal view) of distributed systems. Both

This paper presents research towards the formal specification and verification of a secure distributed system and secure application programs that run on it. We

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment proc

Object-based Distributed Computing is being established as the most pertinent basis for the support of large, heterogeneous computing and telecommunications sys