Suggested Topics within your search.
Showing 1 - 8 results of 8 for search '"concurrent system"', query time: 0.05s Refine Results
  1. 1
    Concurrent systems : Operating systems, database and distributed systems: an integrated approach /

    Concurrent systems : Operating systems, database and distributed systems: an integrated approach / by Bacon, Jean, 1942-

    Published 1998
    Book
  2. 2
    Specification and analysis of concurrent systems : the cosy approach /

    Specification and analysis of concurrent systems : the cosy approach / by Janicki, Ryszard

    Published 1992
    Book
  3. 3
    The temporal logic of reactive and concurrent systems /

    The temporal logic of reactive and concurrent systems / by Manna, Zohar

    Published 1992
    Publisher description
    Book
  4. 4
    Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem /

    Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / by Godefroid, Patrice

    Published 1996
    Book
  5. 5
    Communication and concurrency /

    Communication and concurrency / by Milner, Robin, 1934-2010

    Published 1989
    Subjects:
    Book
  6. 6
    Nonsequential processes : a Petri net view /

    Nonsequential processes : a Petri net view / by Best, Eike, 1951-

    Published 1988
    Subjects:
    Book
  7. 7
    Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /

    Algorithms, concurrency and knowledge / 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings /

    Published 1995
    Subjects:
    Conference Proceeding Book
  8. 8
    Smart sampling for lightweight verification of Markov decision processes

    Smart sampling for lightweight verification of Markov decision processes by D'Argenio, Pedro Ruben, Legay, Axel, Sedwards, Sean, Traonouez, Louis-Marie

    Published 2022
    Get full text
    Get full text
    submittedVersion

Search Tools: