Bisimulation through probabilistic testing (Q1175940): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Kim Guldstrand Larsen / rank
Normal rank
 
Property / reviewed by
 
Property / reviewed by: Damas Gruska / rank
Normal rank
 
Property / author
 
Property / author: Kim Guldstrand Larsen / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Damas Gruska / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0890-5401(91)90030-6 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1976268573 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Observation equivalence as a testing equivalence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4730757 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4045366 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4101268 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Testing equivalences for processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5684216 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic laws for nondeterminism and concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5604443 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3792217 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A calculus of communicating systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3929062 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Calculi for synchrony and asynchrony / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3907077 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3725532 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A structural approach to operational semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3694687 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 10:23, 15 May 2024

scientific article
Language Label Description Also known as
English
Bisimulation through probabilistic testing
scientific article

    Statements

    Bisimulation through probabilistic testing (English)
    0 references
    0 references
    0 references
    25 June 1992
    0 references
    A test language and a notion of probabilistic testability of concurrent process properties are presented. Properties expressed as formulas within Hennessy-Milner logic are testable and as a consequence non-bisimilar processes can be distinguished through testing. A new process relation called \({2\over3}\)-bisimulation is introduced. The relation lies strictly between that of simulation and bisimulation. For probabilistic transition systems for which there is a limit to the probability of transitions it is proved that two processes are \({2\over3}\)-bisimilar iff they satisfy the same limited modal logic formulas. Probabilistic modal logic is introduced and it is shown that the induced notion of probabilistic bisimilarity characterizes the limit as to the distinguishing power of the test language. The probabilistic bisimulation is strictly stronger than bisimulation.
    0 references
    probabilistic testing
    0 references
    concurrent process
    0 references
    Hennessy-Milner logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers