论文信息 - A temporal logic for reasoning about timed concurrent constraint programs

A temporal logic for reasoning about timed concurrent constraint programs

A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs. The logic is based on epistemic modalities which express either what a process knows at a certain time or what a process believes about the results of the other processes. In terms of these epistemic modalities of "knowledge " and "belief" a compositional axiomatization is given of the reactive behaviour of timed concurrent constraint programs.

[1] Frank S. de Boer,et al. A Fully Abstract Model for Concurrent Constraint Programming , 1991, TAPSOFT, Vol.1.

[2] Vijay A. Saraswat,et al. Concurrent constraint programming , 1989, POPL '90.

[3] Radha Jagadeesan,et al. Foundations of timed concurrent constraint programming , 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.

[4] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[5] Alberto Policriti,et al. Modeling concurrent systems specified in a temporal concurrent constraint language-I , 2001, APPIA-GULP-PRODE.

[6] Bengt Jonsson,et al. A model and proof system for asynchronous networks , 1985, PODC '85.

[7] Michael Fisher,et al. An introduction to executable temporal logics , 1996, The Knowledge Engineering Review.

[8] Matthew Hennessy,et al. A Temporal Process Algebra , 1990, FORTE.

[9] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[10] Matthew Hennessy,et al. A Process Algebra for Timed Systems , 1995, Inf. Comput..

[11] Frank S. de Boer,et al. The Failure of Failures in a Paradigm for Asynchronous Communication , 1991, CONCUR.

[12] Maurizio Gabbrielli,et al. Proving concurrent constraint programs correct , 1994, POPL '94.

[13] Radha Jagadeesan,et al. Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..