1 research outputs found

    Verif cation of Real-Time Bounded Distributed Systems With Mobility

    Get PDF
    We introduce and study a prototyping language for describing real-time distributed systems. Its time constraints are expressed as bounded intervals to model the uncertainty of the delay in migration and communication of agents placed in the locations of a distributed system. We provide the operational semantics, and illustrate the new language by a detailed example for which we use software tools for analyzing its temporal properties
    corecore