Approximately satisfied properties of systems and simple language homomorphisms

Information Processing Letters

Volumn 60, Issue 4, 1996, Pages 201-206

  Nitsche, Ulrich ^a   Ochsenschläger, Peter ^a  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

languages; Abstraction; Approximate satisfaction; Cantor topology; Formal languages; Liveness; Safety; Simple homomorphisms; Verification

Indexed keywords

APPROXIMATION THEORY; FINITE AUTOMATA; FORMAL LANGUAGES; TOPOLOGY;

SIMPLE HOMOMORPHISM; VERIFICATION;

SET THEORY;

EID: 0030291625     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(96)00162-7     Document Type: Article

References (10)

1. M. Abadi and L. Lamport, The existence of refinement mappings, SRC Rept. 29, DEC System Research Center, 1988.
2. B. Alpern and F.B. Schneider, Defining liveness, Inform. Process. Lett. 21 (4) (1985) 181-185.
3. S. Eilenberg, Automata, Languages and Machines, Vol. A (Academic Press, New York, 1974).
4. J.L. Kelley, General Topology (Van Nostrand, Princeton, NJ, 1955).
5. U. Nitsche, Verification of co-operating systems and behaviour abstraction, Ph.D. Thesis, University of Frankfurt, Germany, submitted 1996.
6. U. Nitsche, Verification and behaviour abstraction - Towards a tractable verification technique for large distributed systems, J. Systems Software 33 (3) (1996) 273-285.
7. U. Nitsche and P. Ochsenschläger, Approximately satisfied properties of systems and simple language homomorphisms, Arbeitspapiere der GMD 965, Gesellschaft für Mathematik und Datenverarbeitung (GMD), Darmstadt, 1995.
8. P. Ochsenschläger, Verifikation kooperierender Systeme mittels schlichter Homomorphismen, Arbeitspapiere der GMD 688, Gesellschaft für Mathematik und Datenverarbeitung (GMD), Darmstadt, 1992.
9. P. Ochsenschläger, Verification of cooperating systems by simple homomorphisms using the product net machine, in: J. Desel, A. Oberweis and W. Reisig, eds., Workshop: Algorithmen und Werkzeuge für Petrinetze, Humboldt Universität Berlin (1994) 48-53.
10. P. Ochsenschläger, Compositional verification of cooperating systems using simple homomorphism, in: J. Desel, H. Fleischhack, A. Oberweis and M. Sonnenschein, eds., Workshop: Algorithmen und Werkzeuge für Petrinetze, Universität Oldenburg (1995) 8-13.