Suchergebnisse - Soft Concurrent Constraint Programming, Bisimulation

Andere Suchmöglichkeiten:

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Unifying behavioral equivalences of timed transition systems von Virbitskaite, I. B., Gribovskaya, N. S.

    ISSN: 0361-7688, 1608-3261
    Veröffentlicht: Dordrecht SP MAIK Nauka/Interperiodica 01.05.2010
    Veröffentlicht in Programming and computer software (01.05.2010)
    “… Timed transition systems are one of the most popular real-time models for concurrency. In the paper, various behavioral equivalences of timed transition …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: