<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction"^^ . "We study models of concurrency based on labelled transition\r\nsystems where abstractions are induced by a partition of the action set. We introduce dimming relations, i.e., notions of behavioural equivalence which are able to relate two models if they can match each other's actions\r\nwhenever they are in the same partition block. We show applicability to a number of situations of practical interest which are apparently heterogeneous but exhibit similar behaviors although manifested via different\r\nactions. Dimming relations make the models more homogeneous by collapsing such distinct actions into the same partition block. With our examples, we show how these abstractions permit reducing the state-space complexity from exponential to polynomial in the number of concurrent processes."^^ . "2013-08" . . "9" . . "IMT Institute for Advanced Studies Lucca"^^ . . . . . . . . . . . . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "Giulio"^^ . "Iacobelli"^^ . "Giulio Iacobelli"^^ . . "Mirco"^^ . "Tribastone"^^ . "Mirco Tribastone"^^ . . . . . . "Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction (PDF)"^^ . . . . . "CSA_TR_2013_9.pdf"^^ . . . "Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1655 \n\nDimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .