TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Abstractions for transition systems with applications to stubborn sets

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoConcurrency, Security, and Puzzles
AlaotsikkoEssays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
ToimittajatThomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić
KustantajaSpringer International Publishing
Sivut104-123
Sivumäärä20
ISBN (elektroninen)978-3-319-51046-0
ISBN (painettu)978-3-319-51045-3
DOI - pysyväislinkit
TilaJulkaistu - 1 tammikuuta 2017
OKM-julkaisutyyppiB2 Kirjan tai muun kokoomateoksen osa

Julkaisusarja

NimiLecture Notes in Computer Science
Vuosikerta10160
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349

Tiivistelmä

Partial order reduction covers a range of techniques based on eliminating unnecessary transitions when generating a state space. On the other hand, abstractions replace sets of states of a system with abstract representatives in order to create a smaller state space. This article explores how stubborn sets and abstraction can be combined. We provide examples to provide intuition and expand on some recent results. We provide a classification of abstractions and give some novel results on what is needed to combine abstraction and partial order reduction in a sound way.

Tilastokeskuksen tieteenalat