oaioai:ir.iscas.ac.cn:311060/13226

making timed automata communicate

Authors
Publication date
1 January 2003
Publisher
FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT
Doi

    Abstract

    UN Univ Int Inst Software TechnolA computation model is introduced in which real-time constraints as well as data communications can be explicitely expressed. The model is presented in a graphical form. Its semantics is studied and algorithms to compute bisimulation equivale

    Similar works

    Full text

    thumbnail-image

    Institute Of Software, Chinese Academy Of Sciences

    redirect
    oaioai:ir.iscas.ac.cn:311060/1322...
    Last time updated on 30/12/2017

    This paper was published in Institute Of Software, Chinese Academy Of Sciences.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.