Výsledky vyhledávání - Soft Concurrent Constraint Programming, Bisimulation

  • Zobrazuji výsledky 1 - 1 z 1
Upřesnit hledání
  1. 1
    Obálka

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

    ISSN: 0361-7688, 1608-3261
    Vydáno: Dordrecht SP MAIK Nauka/Interperiodica 01.05.2010
    Vydáno v 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…”
    Získat plný text
    Journal Article
    Přidat do oblíbených
    Uloženo v:

Vyhledávací nástroje: