Management

Filter
Article in proceedings

Search results

  • 2012

    Broadcast Abstraction in a Stochastic Calculus for Mobile Networks

    Song, L. & Godskesen, J. C., Sept 2012, Theoretical Computer Science: Proceedings of the 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Springer, Vol. 4604. p. 342-356 15 p. (Lecture Notes in Computer Science, Vol. 4604).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File
  • 2011

    Bisimulations Meet PCTL Equivalences for Probabilistic Automata

    Song, L., Zhang, L. & Godskesen, J. C., 5 Sept 2011, CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory . Springer, p. 108-123 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File
  • 2010

    Observables for Mobile and Wireless Broadcasting Systems

    Godskesen, J. C., 2010, Coordination Models and Languages: 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 2010. Clarke, D. & Agha, G. (eds.). Springer, Vol. 6116. p. 1-15 15 p. (Lecture Notes in Computer Science; No. 6116).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Probabilistic Mobility Models for Mobile and Wireless Networks

    Song, L. & Godskesen, J. C., 2010, IFIP Advances in Information and Communication Technology . Springer, Vol. 2010. 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • 2009

    Mobility Models and Behavioural Equivalence for Wireless Networks

    Godskesen, J. C. & Nanz, S., 2009, Lecture Notes in Computer Science. Field, J. & Vasconcelos, V. T. (eds.). Springer, Vol. 5521. p. 106 122 p. (Coordination Models and Languages; No. 5521).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review