Skip to main content
Conference ProceedingsOPEN ACCESS

Generating diagnostic information for behavioral preorders

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (1993) 663 LNCS 370-383
DOI: 10.1007/3-540-56496-9_29
1Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

This paper describes a method for generating diagnostic information for the prebisimulation preorder. This information takes the form of a logical formula explaining why a particular process is not larger than the other in the preorder. Our method relies on modifying an algorithm for computing the prebisimulation preorder to save the information needed for generating these distinguishing formulas. As a number of other behavioral preorders may be characterized in terms of prebisimulation preorder, our technique may be used as a basis for computing diagnostic information for these preorders as well.

Cite

CITATION STYLE

APA

Celikkan, U., & Cleaveland, R. (1993). Generating diagnostic information for behavioral preorders. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 663 LNCS, pp. 370–383). Springer Verlag. https://doi.org/10.1007/3-540-56496-9_29

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free