?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F1655%2F&rft.title=Dimming+Relations+for+the+Efficient+Analysis+of+Concurrent+Systems+via+Action+Abstraction&rft.creator=De+Nicola%2C+Rocco&rft.creator=Iacobelli%2C+Giulio&rft.creator=Tribastone%2C+Mirco&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=We+study+models+of+concurrency+based+on+labelled+transition%0D%0Asystems+where+abstractions+are+induced+by+a+partition+of+the+action+set.+We+introduce+dimming+relations%2C+i.e.%2C+notions+of+behavioural+equivalence+which+are+able+to+relate+two+models+if+they+can+match+each+other's+actions%0D%0Awhenever+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%0D%0Aactions.+Dimming+relations+make+the+models+more+homogeneous+by+collapsing+such+distinct+actions+into+the+same+partition+block.+With+our+examples%2C+we+show+how+these+abstractions+permit+reducing+the+state-space+complexity+from+exponential+to+polynomial+in+the+number+of+concurrent+processes.&rft.publisher=IMT+Institute+for+Advanced+Studies+Lucca&rft.date=2013-08&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F1655%2F1%2FCSA_TR_2013_9.pdf&rft.identifier=++De+Nicola%2C+Rocco+and+Iacobelli%2C+Giulio+and+Tribastone%2C+Mirco++Dimming+Relations+for+the+Efficient+Analysis+of+Concurrent+Systems+via+Action+Abstraction.++CSA+Technical+Report++%239%2F2013++++IMT+Institute+for+Advanced+Studies+Lucca+++++++++