Titlebook: CONCUR 2010 - Concurrency Theory; 21th International C Paul Gastin,François Laroussinie Conference proceedings 2010 Springer-Verlag Berlin

PEL

书目名称CONCUR 2010 - Concurrency Theory影响因子(影响力)




书目名称CONCUR 2010 - Concurrency Theory影响因子(影响力)学科排名




书目名称CONCUR 2010 - Concurrency Theory网络公开度




书目名称CONCUR 2010 - Concurrency Theory网络公开度学科排名




书目名称CONCUR 2010 - Concurrency Theory被引频次




书目名称CONCUR 2010 - Concurrency Theory被引频次学科排名




书目名称CONCUR 2010 - Concurrency Theory年度引用




书目名称CONCUR 2010 - Concurrency Theory年度引用学科排名




书目名称CONCUR 2010 - Concurrency Theory读者反馈




书目名称CONCUR 2010 - Concurrency Theory读者反馈学科排名

aspect

Simulation Distances,as well as liveness specifications. The distances can be computed in polynomial time for safety specifications, and for liveness specifications given by weak fairness constraints. We show that the distance functions satisfy the triangle inequality, that the distance between two systems does not incr

积习已深

Mean-Payoff Automaton Expressions,lass. Mean-payoff automaton expressions subsume deterministic mean-payoff automata, and we show that they have expressive power incomparable to nondeterministic and alternating mean-payoff automata. We also present for the first time an algorithm to compute distance between two quantitative language

instate

AWRY

Shazia Farooq Fazli,Ayesha Farooqrsects regular languages is decidable. We show that the automata-based saturation procedure for computing the set of predecessors in standard pushdown automata can be extended to prove that for EGPA too the set of all predecessors of a regular set of configurations is an effectively constructible re

capsaicin

Nationalkultur oder europäische Werte?as well as liveness specifications. The distances can be computed in polynomial time for safety specifications, and for liveness specifications given by weak fairness constraints. We show that the distance functions satisfy the triangle inequality, that the distance between two systems does not incr

capsaicin

财产

凹槽

Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis,med automata. Further, we introduce techniques for testing the conformance between these behavioral abstractions and the executable semantics of Real-Time Creol in Real-Time Maude..As a case study we model and analyze the schedulability of thread pools in an industrial communication platform.

florid