For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
30
views
7
references
 Top references
cited by
51
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      730
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      Bisimulation for Labelled Markov Processes

      Author(s): , ,
      Publication date Created:
      Publication date (Print):
      Journal: Information and Computation
      Publisher: Elsevier BV

      Read this article at

      ScienceOpenPublisher
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Related collections

          Most cited references7

          • Record: found
          • Abstract: not found
          • Article: not found

          HYTECH: a model checker for hybrid systems

          Pei-Hsin Ho, Thomas Henzinger, Howard Wong-Toi (1997)
          Article 0 comments Cited 66 times – based on 0 reviews     Review now
            • Record: found
            • Abstract: not found
            • Article: not found

            A probabilistic PDL

            Dexter Kozen (1985)
            Article 0 comments Cited 33 times – based on 0 reviews     Review now
              • Record: found
              • Abstract: not found
              • Article: not found

              Bisimulation from Open Maps

              Glynn Winskel, Mogens M. Nielsen, André Joyal (1996)
              Article 0 comments Cited 31 times – based on 0 reviews     Review now
                All references

                Author and article information

                Journal
                Title: Information and Computation
                Abbreviated Title: Information and Computation
                Publisher: Elsevier BV
                ISSN (Print): 08905401
                Publication date Created: December 2002
                Publication date (Print): December 2002
                Volume: 179
                Issue: 2
                Pages: 163-193
                Article
                DOI: 10.1006/inco.2001.2962
                SO-VID: b2f5bc71-3020-4647-a195-4109cb13b5da
                Copyright © © 2002
                License:

                http://www.elsevier.com/tdm/userlicense/1.0/

                History

                Data availability:

                Comments

                Comment on this article

                Related Documents Log
                scite_

                Similar content730

                See all similar

                Cited by51

                See all cited by

                Most referenced authors56

                See all reference authors