Probabilistic concurrent constraint programming

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

Volumn 1243, Issue , 1997, Pages 243-257

  Gupta, Vineet ^a   Jagadeesan, Radha ^b   Saraswat, Vijay ^c  

^a PALO ALTO RESEARCH CENTER   (United States)

^b LOYOLA UNIVERSITY CHICAGO   (United States)

^c AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957885434     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63141-0_17     Document Type: Conference Paper

References (30)

1. S. Abramsky. Interaction categories. Available by anonymous ftp from papers/ Abramsky:theory.doc,ic.ac.uk, 1993
2. Samson Abramsky. Interaction categories and communicating sequential processes. In A. W. Roscoe, editor, A Classical Mind: Essays in honour of C. A. R. Hoare, pages 1-16. Prentice Hall International, 1994.
3. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. In Special issue on Another Look at Real-time Systems, Proceedings of the IEEE, September 1991.
4. Albert Benveniste, Bemard C. Levy, Eric Fabre, and Paul Le Guemic. A calculus of stochastic systems for the specification, simulation, and hidden state estimation ofmixed stochastic/nonstochastic systems. TheoreticalComputerScience, 152(2):171- 217, Dec 1995
5. R. Cleaveland, S. A. Smolka, and A. Zwarico. Testing preorders for probabilistic processes.L ecture Notes in Computer Science, 623, 1992.
6. Johan de Kleer and Brian C. Williams. Diagnosis with behavioral modes. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence,pages 1324-1330, August 1989.
7. M. Fromherz, D. Bell, D. Bobrow, et al. RAPPER: The Copier Modeling Project. In Working Papers of the Eighth International Workshop on Qualitative Reasoning About Physical Systems, pages 1 - 12, June 1994
8. R. Fagin, J.Y. Halpern, and N. Megiddo. A logic for reasoning about probabilities. Information and Computation, 87:78-128, 1990.
9. Markus P.L Fromherz and Vijay A. Saraswat. Model-based computing: Using concurrent constraint programming for modeling and model compilation. In U. Montanari and E Rossi, editors, Principles and Practice of Constraint Programming - CP’95, pages 629-635. Springer-Verlag, LNCS 976, Sept. 1995.
10. Vineet Gupta, Radha Jagadeesan, and Vijay Saraswat. Computing with continuous change. Science of Computer Programming. To appear.
11. Vineet Gupta, Vijay Saraswat, and Peter Struss. A model of a photocopier paper path. In Proceedings of the 2nd IJCAI Workshop on Engineering Problems for Qualitative Reasoning, August 1995.
12. N. Halbwaehs. Synchronous programming of reactive systems. The Kluwer international series in Engineering and Computer Science. Kluwer Academic publishers, 1993.
13. D. Harel. Stateeharts: A visual approach to complex systems. Science of Computer Programming, 8:231 - 274, 1987.
14. H. Hansson and B. Jonsson. A calculus for communicating systems with time and probabilities. In Proceedings of the 11 th IEEE Real-Time Systems Symposiam, pages 278-287. IEEE Computer Society Press, 1990.
15. S. Hart and M. Shark. Probabilistie propositional temporal logics. Information and Control, 70:97-155, 1986.
16. Pascal van Hentenryck, Vijay A. Saraswat, and Yves Deville. Constraint processing in cc(fd). Technical report, Computer Science Department, Brown University, 1992.
17. P.T. Johnstone. Stone Spaces, volume 3 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1982.
18. C. Jones and G. D. Plotkin. A probabilistic powerdomain of evaluations. In Proceedings, Fourth Annual Symposium on Logic in Computer Science, pages 186-195, Asilomar Conference Center, Pacific Grove, California, 1989.
19. Bengt lonsson and Wang Yi. Compositional testing preorders for probabilistie proeesses. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, pages 431-441, San Diego, California, 1995.
20. Kim G. Larsen and Ame Skou. Bisimulation through probabilistic testing. Information and Computation, 94(1):1-28, September 1991.
21. M. Ajmone Marsan. Stochastic petri nets: an elementary introduction. In Advances in Petri Nets 1989, pages 1-29. Springer, June 1989.
22. Carroll Morgan, Annabelle McIver, and Karen Seidel. Probabilistic predicate transformers. ACM Transactions on Programming Languages and Systems, 18(3):325-353, May 1996.
23. N.J. Nilsson. Probabilistic logic. Artificial Intelligence, 28:71-87, 1986.
24. J. Pearl. Probabilistic Reasoning in Intelligent Systems. Morgan-Kaufmann Publishers,1988.
25. Vijay A. Saraswat. Concurrent constraint programming. Doctoral Dissertation Award and Logic Programming Series. M1T Press, 1993.
26. V.A. Saraswat, R. Jagadeesan, and V. Gupta. Timed Default Concurrent Constraint Programming. Journal of Symbolic Computation. To appear. Extended abstract appearedin the Proceedingsofthe 22ndACM Symposium on Principles of Programming Languages, San Francisco, January 1995.
27. V.A. Saraswat, R. Jagadeesan, and V. Gupta. Foundations of Timed Concurrent Constraint Programming. In Samson Abramsky, editor, Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Press, July 1994.
28. V.A. Saraswat, M. Rinard, and P. Panangaden. Semantic foundations of concurrentconstraint programming. In Proceedings of Eighteenth ACM Symposium on Principles of Programming Languages, Orlando, January 1991.
29. Rob van Glabbeek, S. A. Smolka, B. Steffen, and C. M. N. Toffs. Reactive, generative, and stratified models of probabilistic processes. In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, pages 130-141, Philadelphia, Pennsylvania,1990.
30. N. Viswanadham and Y. Narahari. Performance Modeling of Automated Manufacturing Systems. Prentice-Hall Inc., 1992