Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Modeling and Reasoning of Time-Dependent Concurrent Mobile Systems Based on an Extended π - Calculus


    Contributors:
    Luo, L. (author) / Duan, Z. (author)

    Published in:

    Publication date :

    2014-01-01


    Size :

    7 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Unknown


    Classification :

    DDC:    500



    Research of Extended Mobile Ambient Calculus Oriented Mobile Collaboration

    Cao, Y. / Wang, W. / Qin, Z. | British Library Online Contents | 2008




    A Time-Triggered Constraint-Based Calculus for Avionic Systems

    Hamadou, Sardaouna / Mullins, John / Gherbi, Abdelouahed et al. | IEEE | 2015


    A Petri Net Description of Extended Ambient Calculus Model

    Cao, Y. / Wang, W. / Qin, Z. | British Library Online Contents | 2008