A temporal logic for reasoning about 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..