Search Results - Soft Concurrent Constraint Programming, Bisimulation

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

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

    ISSN: 0361-7688, 1608-3261
    Published: Dordrecht SP MAIK Nauka/Interperiodica 01.05.2010
    Published 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…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: