Verification of distributed programs using representative interleaving sequences
Distributed Computing
Associative Omega-products of Traces
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Modelling Component Behaviour with Concurrent Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Infinite Product of Traces Represented by Projections
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Associative Omega-products of Traces
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
AXIOMATIZATIONS OF TEMPORAL LOGICS ON TRACE SYSTEMS
Fundamenta Informaticae
| Hi-index | 0.00 |