@article{
 title = {Trace Semantics for Stochastic Systems with Nondeterminism},
 type = {article},
 year = {2006},
 keywords = {Button Pushing Experiment,Linear-time Semantics,Markov Chains,Nondeterminism,Trace Equivalence},
 pages = {187-204},
 volume = {164},
 id = {f9a64420-0fc2-3b7f-8d46-c1b5e40572bf},
 created = {2016-02-15T08:58:12.000Z},
 file_attached = {false},
 profile_id = {bbb99b2d-2278-3254-820f-2de6d915ce63},
 last_modified = {2017-03-22T13:51:34.979Z},
 read = {false},
 starred = {false},
 authored = {true},
 confirmed = {true},
 hidden = {false},
 private_publication = {false},
 abstract = {This paper discusses trace semantics of interactive Markov chains (IMCs) that are a generalisation of continuous-time Markov chains. In IMCs besides probabilistic alternatives there may be a nondeterministic choice between several action-labelled transitions in a state. We analyse several variants of trace equivalences that arise from the different ways one has to resolve nondeterministic branching. Button pushing testing scenarios are used to motivate each abstraction level induced by the trace semantics and associated equivalences are sorted according to their distinguishing power. ?? 2006 Elsevier B.V. All rights reserved.},
 bibtype = {article},
 author = {Wolf, Verena and Baier, Christel and Majster-Cederbaum, Mila},
 journal = {Electronic Notes in Theoretical Computer Science},
 number = {3 SPEC. ISS.}
}

{"_id":"RCKRepcQxY84CK3F7","bibbaseid":"wolf-baier-majstercederbaum-tracesemanticsforstochasticsystemswithnondeterminism-2006","downloads":0,"creationDate":"2016-02-15T09:11:34.950Z","title":"Trace Semantics for Stochastic Systems with Nondeterminism","author_short":["Wolf, V.","Baier, C.","Majster-Cederbaum, M."],"year":2006,"bibtype":"article","biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibdata":{"title":"Trace Semantics for Stochastic Systems with Nondeterminism","type":"article","year":"2006","keywords":"Button Pushing Experiment,Linear-time Semantics,Markov Chains,Nondeterminism,Trace Equivalence","pages":"187-204","volume":"164","id":"f9a64420-0fc2-3b7f-8d46-c1b5e40572bf","created":"2016-02-15T08:58:12.000Z","file_attached":false,"profile_id":"bbb99b2d-2278-3254-820f-2de6d915ce63","last_modified":"2017-03-22T13:51:34.979Z","read":false,"starred":false,"authored":"true","confirmed":"true","hidden":false,"private_publication":false,"abstract":"This paper discusses trace semantics of interactive Markov chains (IMCs) that are a generalisation of continuous-time Markov chains. In IMCs besides probabilistic alternatives there may be a nondeterministic choice between several action-labelled transitions in a state. We analyse several variants of trace equivalences that arise from the different ways one has to resolve nondeterministic branching. Button pushing testing scenarios are used to motivate each abstraction level induced by the trace semantics and associated equivalences are sorted according to their distinguishing power. ?? 2006 Elsevier B.V. All rights reserved.","bibtype":"article","author":"Wolf, Verena and Baier, Christel and Majster-Cederbaum, Mila","journal":"Electronic Notes in Theoretical Computer Science","number":"3 SPEC. ISS.","bibtex":"@article{\n title = {Trace Semantics for Stochastic Systems with Nondeterminism},\n type = {article},\n year = {2006},\n keywords = {Button Pushing Experiment,Linear-time Semantics,Markov Chains,Nondeterminism,Trace Equivalence},\n pages = {187-204},\n volume = {164},\n id = {f9a64420-0fc2-3b7f-8d46-c1b5e40572bf},\n created = {2016-02-15T08:58:12.000Z},\n file_attached = {false},\n profile_id = {bbb99b2d-2278-3254-820f-2de6d915ce63},\n last_modified = {2017-03-22T13:51:34.979Z},\n read = {false},\n starred = {false},\n authored = {true},\n confirmed = {true},\n hidden = {false},\n private_publication = {false},\n abstract = {This paper discusses trace semantics of interactive Markov chains (IMCs) that are a generalisation of continuous-time Markov chains. In IMCs besides probabilistic alternatives there may be a nondeterministic choice between several action-labelled transitions in a state. We analyse several variants of trace equivalences that arise from the different ways one has to resolve nondeterministic branching. Button pushing testing scenarios are used to motivate each abstraction level induced by the trace semantics and associated equivalences are sorted according to their distinguishing power. ?? 2006 Elsevier B.V. All rights reserved.},\n bibtype = {article},\n author = {Wolf, Verena and Baier, Christel and Majster-Cederbaum, Mila},\n journal = {Electronic Notes in Theoretical Computer Science},\n number = {3 SPEC. ISS.}\n}","author_short":["Wolf, V.","Baier, C.","Majster-Cederbaum, M."],"biburl":"https://bibbase.org/service/mendeley/bbb99b2d-2278-3254-820f-2de6d915ce63","bibbaseid":"wolf-baier-majstercederbaum-tracesemanticsforstochasticsystemswithnondeterminism-2006","role":"author","urls":{},"keyword":["Button Pushing Experiment","Linear-time Semantics","Markov Chains","Nondeterminism","Trace Equivalence"],"metadata":{"authorlinks":{"wolf, v":"https://mosi.uni-saarland.de/research/"}},"downloads":0},"search_terms":["trace","semantics","stochastic","systems","nondeterminism","wolf","baier","majster-cederbaum"],"keywords":["button pushing experiment","linear-time semantics","markov chains","nondeterminism","trace equivalence"],"authorIDs":["6TtMsgho6wSDppwNh"],"dataSources":["me3WD7pwWySxCKW8s","ya2CyA73rpZseyrZ8"]}