Compositional failure-based semantic models for Basic LOTOS


A systematic analysis of trace- and failure-based compositional semantic models for Basic LOTOS is presented. The analysis is motivated by the fact that the weakest known equivalences preserving sufficient information for several typical verification tasks are failure-based, and the weakness of an equivalence can be advantageous for verification. Both the… (More)
DOI: 10.1007/BF01211218


10 Figures and Tables


Citations per Year

65 Citations

Semantic Scholar estimates that this publication has 65 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Valmari1995CompositionalFS, title={Compositional failure-based semantic models for Basic LOTOS}, author={Antti Valmari and Martti Tienari}, journal={Formal Aspects of Computing}, year={1995}, volume={7}, pages={440-468} }