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

      Deciding Bisimilarity and Similarity for Probabilistic Processes

      Author(s): , ,
      Publication date Created:
      Publication date (Print):
      Journal: Journal of Computer and System Sciences
      Publisher: Elsevier BV

      Read this article at

      ScienceOpenPublisher
      Bookmark
          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 references8

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

          A logic for reasoning about time and reliability

          Hans-Christen Hansson, Bengt-Harald Jonsson (1994)
          Article 0 comments Cited 210 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            A Theory of Communicating Sequential Processes

            S. D. Brookes, C. Hoare, A. W. Roscoe (1984)
            Article 0 comments Cited 114 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Termination of Probabilistic Concurrent Program

              Micha Sharir, Sergiu Hart, Amir Pnueli (1983)
              Article 0 comments Cited 27 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and article information

                Journal
                Title: Journal of Computer and System Sciences
                Abbreviated Title: Journal of Computer and System Sciences
                Publisher: Elsevier BV
                ISSN (Print): 00220000
                Publication date Created: February 2000
                Publication date (Print): February 2000
                Volume: 60
                Issue: 1
                Pages: 187-231
                Article
                DOI: 10.1006/jcss.1999.1683
                SO-VID: 7323e883-8162-4a71-92d2-7b0e018ded83
                Copyright © © 2000
                License:

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

                History

                Data availability:

                Comments

                Comment on this article

                scite_

                Similar content3,664

                See all similar

                Cited by35

                See all cited by

                Most referenced authors56

                See all reference authors