Výsledky vyhľadávania - Soft Concurrent Constraint Programming, Bisimulation

  • Zobrazené výsledky 1 - 1 z 1
Upresniť hľadanie
  1. 1
    Obálka

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

    ISSN: 0361-7688, 1608-3261
    Vydavateľské údaje: Dordrecht SP MAIK Nauka/Interperiodica 01.05.2010
    Vydané 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ískať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: