CONCUR 2006 – Concurrency Theory | Zendy

Ramzi Ben Salah | Zendy; Marius Bozga | Zendy; Oded Maler | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

CONCUR 2006 – Concurrency Theory

Author(s) -

Ramzi Ben Salah,

Marius Bozga,

Oded Maler

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/11817949

Subject(s) - concurrency , computer science , series (stratigraphy) , programming language , library science , biology , paleontology

International audienceWe propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the union of all zones reached by different interleavings of the same set of transitions is convex. Consequently we can improve the standard reachability computation for timed automata by merging such zones whenever they are encountered. Since passage of time distributes over union, we can continue the successor computation from the new zone and eliminate completely the explosion due to interleaving

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research