Decision procedure for temporal logic of concurrent objects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1685 LNCS, Issue , 1999, Pages 1344-1352

  Bahsoun, Jean Paul ^a   El Baïda, Rami ^a   Yar, Hugues Olivier ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; OBJECT ORIENTED PROGRAMMING; SEMANTICS; TEMPORAL LOGIC;

CONCURRENT OBJECTS; DECISION PROCEDURE; LINEAR TEMPORAL LOGIC; PROGRAMMING MODELS; TABLEAU METHOD; THREE-LEVEL;

COMPUTER CIRCUITS;

EID: 84868270193     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48311-x_190     Document Type: Conference Paper

References (14)

1. G. Agha, C. Hewitt: Concurrent Programming Using Actors. In: Object-Oriented Concurrent Programming, A. Yonezawa, M. Tokoro (eds), MIT Press, pp. 37-53 (1987)
2. P. America: Designing an Object-Oriented Programming Language with Behavioural Subtyping in Foundations of Object-Oriented Languages (1990), LNCS 489, pp. 60-90
3. J. P. Bahsoun, P. Fares, C. Servières: Multilevel Proof System for Concurrent Object-Oriented Systems 2de France-Japan workshop on Object Based Parallel and distributed Computing October 1997. To appear in HERMES 1999
4. J. P. Bahsoun, S. Merz, C. Servières A Framework for Programming and Formalizing Concurrent Objects In proceedings of ACM Sigsoft 93
5. J. P. Bahsoun, S. Merz, C. Servières A Framework for formalizing and proving concurrent objects In Parallélisme, répartition et réseaux. Hermès, 1995
6. J. Fiadeiro, T. Maibaum Verifying for Reuse: foundations of object-oriented system verification, in Theory and Formal Methods 1994. ICL Press, 1995
7. D. M. Gabbay: Temporal Logic: Mathematical Foundations. Tech. Report MPI-I-92-213, Max-Planck-Institut Saarbrücken (1992)
8. L. Lamport: The Temporal Logic of Actions. Research Report 79, DEC Systems Research Center, December 1991
9. J. Meseguer: Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming, ECOOP 93, LNCS 707
10. Z. Manna, A. Pnueli: The Temporal Logic of Reactive and Concurrent Systems - Specification. New York etc.: Springer-Verlag (1992)
11. J. Meseguer, T. Winkler Parallel Programming in Maude. In "Research Directions in High-Level Parallel Programming Languages" J.B. Banatre, D. LeMetayer (Eds) Springer Verlag 1992
12. C. Servières: Modélisation et Vérification Orientées Objet pour les Systèmes Réactifs, Ph.D. Thesis, Université Paul Sabatier, November 1995.
13. R.M. Smullyan: First Order Logic, Springer-Verlag Berlin 1968.
14. P. Wolper: The tableau method for temporal logic: an overview. Logique et Analyse 110-111 numéro spécial, Nauwelaerts Printing, 1985.