https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3AOrder-independence_of_vector-based_transition_systems 2026-05-22T23:38:05Z Revision history for this page on the wiki MediaWiki 1.22.6 https://wiki.hh.se/ceres/index.php?title=Publications:Order-independence_of_vector-based_transition_systems&diff=4154&oldid=prev 2014-06-26T03:43:48Z

<p>Created page with &quot;&lt;div style=&#039;display: none&#039;&gt; == Do not edit this section == &lt;/div&gt; {{PublicationSetupTemplate|Author=M. Raffelsieper, Mohammad Reza Mousavi, H. Zantema |PID=584488 |Name=Raffel...&quot;</p> <p><b>New page</b></p><div>&lt;div style='display: none'&gt;<br /> == Do not edit this section ==<br /> &lt;/div&gt;<br /> {{PublicationSetupTemplate|Author=M. Raffelsieper, Mohammad Reza Mousavi, H. Zantema<br /> |PID=584488<br /> |Name=Raffelsieper, M. (Department of Computer Science, TU Eindhoven, P.O. Box 513, 5600 MB Eindhoven, Netherlands);Mousavi, Mohammad Reza [mohmou] ( Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, Netherlands);Zantema, H. ( Institute for Computing and Information Sciences, Radboud University Nijmegen, P.O. Box 9010, 6500 GL Nijmegen, Netherlands)<br /> |Title=Order-independence of vector-based transition systems<br /> |PublicationType=Conference Paper<br /> |ContentType=Refereegranskat<br /> |Language=eng<br /> |Journal=<br /> |JournalISSN=<br /> |Status=<br /> |Volume=<br /> |Issue=<br /> |HostPublication=Proceedings 10th International Conference on Application of Concurrency to System Design (ACSD’10, Braga, Portugal, June 21-25, 2010)<br /> |Conference=The 10th International Conference on Application of Concurrency to System Design<br /> |StartPage=115<br /> |EndPage=123<br /> |Year=2010<br /> |Edition=<br /> |Pages=<br /> |City=Los Alamitos, Calif.<br /> |Publisher=IEEE Computer Society<br /> |Series=International Conference on Application of Concurrency to System Design. Proceedings<br /> |SeriesISSN=1550-4808<br /> |ISBN=978-076954066-5<br /> |Urls=<br /> |ISRN=<br /> |DOI=http://dx.doi.org/10.1109/ACSD.2010.24<br /> |ISI=<br /> |PMID=<br /> |ScopusId=2-s2.0-77957558045<br /> |NBN=urn:nbn:se:hh:diva-20521<br /> |LocalId=<br /> |ArchiveNumber=<br /> |Keywords=Interleaving semantics;Micro-steps;State-space generation;Step transitions;Transition system;Vector-based<br /> |Categories=Data- och informationsvetenskap (102)<br /> |ResearchSubjects=<br /> |Projects=<br /> |Notes=<br /> |Abstract=&lt;p&gt;Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transition system, each macro-step transition is labeled by a vector of inputs. When performing a macro-step, several inputs may potentially change. Each macro-step can thus be decomposed in a number of micro-steps, taking one input change at a time into account. This is akin to an interleaving semantics, where a concurrent step is represented by an interleaving of its constituting components. We present abstract criteria on vector-based transition systems, which guarantee that the next state computation is independent of the order in which these micro-steps are executed. If our abstract criteria are satisfied by the semantic definition of a certain specification, then its state-space generation or exploration algorithm needs to only consider one representative among all possible permutations of such micro-steps. We demonstrate the applicability of our abstract criteria to the specification of transistor netlists. © 2010 IEEE.&lt;/p&gt;<br /> |Opponents=<br /> |Supervisors=<br /> |Examiners=<br /> |Patent=<br /> |ThesisLevel=<br /> |Credits=<br /> |Programme=<br /> |Subject=<br /> |Uppsok=<br /> |DefencePlace=<br /> |DefenceLanguage=<br /> |DefenceDate=<br /> |CreatedDate=2013-01-08<br /> |PublicationDate=2013-01-09<br /> |LastUpdated=2013-02-26<br /> |diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&amp;pid=diva2:584488}}<br /> &lt;div style='display: none'&gt;<br /> <br /> == Keep all hand-made modifications below ==<br /> &lt;/div&gt;{{PublicationDisplayTemplate}}</div>

Slawek