[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/646726.703177guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

A Tool Set for deciding Behavioral Equivalences

Published: 26 August 1991 Publication History

Abstract

No abstract available.

Cited By

View all
  • (2019)Using Forward Reachability Analysis for Verification of Lossy Channel SystemsFormal Methods in System Design10.1023/B:FORM.0000033962.51898.1a25:1(39-65)Online publication date: 1-Jun-2019
  • (2013)The quest for minimal quotients for probabilistic automataProceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-642-36742-7_2(16-31)Online publication date: 16-Mar-2013
  • (2008)Improved On-the-Fly Equivalence Checking Using Boolean Equation SystemsProceedings of the 15th international workshop on Model Checking Software10.1007/978-3-540-85114-1_15(196-213)Online publication date: 10-Aug-2008
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings
CONCUR '91: Proceedings of the 2nd International Conference on Concurrency Theory
August 1991
540 pages
ISBN:3540544305

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 26 August 1991

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 01 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2019)Using Forward Reachability Analysis for Verification of Lossy Channel SystemsFormal Methods in System Design10.1023/B:FORM.0000033962.51898.1a25:1(39-65)Online publication date: 1-Jun-2019
  • (2013)The quest for minimal quotients for probabilistic automataProceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-642-36742-7_2(16-31)Online publication date: 16-Mar-2013
  • (2008)Improved On-the-Fly Equivalence Checking Using Boolean Equation SystemsProceedings of the 15th international workshop on Model Checking Software10.1007/978-3-540-85114-1_15(196-213)Online publication date: 10-Aug-2008
  • (2006)On-the-Fly branching bisimulation minimization for compositional analysisProceedings of the 11th international conference on Implementation and Application of Automata10.1007/11812128_21(219-229)Online publication date: 21-Aug-2006
  • (1992)A toolbox for the verification of LOTOS programsProceedings of the 14th international conference on Software engineering10.1145/143062.143124(246-259)Online publication date: 1-Jun-1992

View Options

View options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media