Stochastic processes as concurrent constraint programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Stochastic processes as concurrent constraint programs

Full text

Pdf (2.12 MB)

Source

Annual Symposium on Principles of Programming Languages archive
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages table of contents

San Antonio, Texas, United States

Pages: 189 - 202

Year of Publication: 1999

ISBN:1-58113-095-3

Authors

Vineet Gupta	Caelum Research Corporation, NASA Ames Research Center, Moffett Field CA
Radha Jagadeesan	Dept. of Math. and Computer Sciences, Loyola University--Lake Shore Campus, Chicago IL
Prakash Panangaden	School of Computer Science, McGill University, Montreal, Quebec, Canada

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 9, Downloads (12 Months): 21, Citation Count: 12

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/292540.292558 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	H. Abelson, T. E Knight, and G. J. Sussman. Amorphous computing manifesto, http://www-swiss.ai.mit.edu/switz/amorphous/whitepaper/amorph-new/amorph-new.html, 1996.
	2	A. Aghasaryan, R. Boubour, E. Fabre, C. Jard, and A. Benveniste. A petri net approach to fault detection and diagnosis in distributed systems. Technical Report PI-1117, IRISA -- Institut de recherche en informatique et systemes aleatoires - Rennes, 1997.
	3	Rajeev Alur , Lalita Jategaonkar Jagadeesan , Joseph J. Kott , James E. Von Olnhausen, Model-checking of real-time systems: a telecommunications application: experience report, Proceedings of the 19th international conference on Software engineering, p.514-524, May 17-23, 1997, Boston, Massachusetts, United States [doi>10.1145/253228.253434]
	4	Robert B. Ash. Real Analysis and Probability. Academic Press, 1972.
	5	J. C. M. Baeten , J. A. Bergstra , S. A. Smolka, Axiomatizing probabilistic processes: ACP with generative probabilities, Information and Computation, v.121 n.2, p.234-255, Sept. 1995 [doi>10.1006/inco.1995.1135]
	6	Christel Baier , Edmund M. Clarke , Vassili Hartonas-Garmhausen , Marta Z. Kwiatkowska , Mark Ryan, Symbolic Model Checking for Probabilistic Processes, Proceedings of the 24th International Colloquium on Automata, Languages and Programming, p.430-440, July 07-11, 1997
	7	A. Benveniste and G. Berry, editors. Another Look at Real-time Systems, volume 79:9, September 1991.
	8	A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. In Proceedings of the IEEE {7}, pages 1270-- 1282.
	9	Albert Benveniste , Bernard C. Levy , Eric Fabre , Paul Le Guernic, A calculus of stochastic systems for the specification, simulation, and hidden state estimation of mixed stochastic/nonstochastic systems, Theoretical Computer Science, v.152 n.2, p.171-217, Dec. 25, 1995 [doi>10.1016/0304-3975(94)00295-1]
	10	A. Berlin, H. Abelson, N. Cohen, L. Fogel, C-H, Ho, M. Horowitz, J. How, T. F. Knight, R. Newton, and K, Pistel. Distributed information systems for mems. Technical report, Xerox Palo Alto Research Center, 1995.
	11	Gérard Berry, Preemption in Concurrent Systems, Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, p.72-93, December 15-17, 1993
	12	Gérard Berry , Georges Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming, v.19 n.2, p.87-152, Nov. 1992 [doi>10.1016/0167-6423(92)90005-V]
	13	Andrea Bianco , Luca de Alfaro, Model Checking of Probabalistic and Nondeterministic Systems, Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, p.499-513, December 18-20, 1995
	14	Patrick Billingsley. Probability and Measure. Wiley-Interscience, 1995.
	15	Richard Blute , Josee Desharnais , Abbas Edalat , Prakash Panangaden, Bisimulation for Labelled Markov Processes, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science, p.149, June 29-July 02, 1997
	16	J. Dean Brock , William B. Ackerman, Scenarios: A Model of Non-Determinate Computation, Proceedings of the International Colloquium on Formalization of Programming Concepts, p.252-259, April 19-25, 1981
	17	Bjom Carlson, Vineet Gupta, and Tadd Hogg. Controlling agents in smart matter with global constraints. In Proceedings of the AAAI Workshop on Constraints and Agents, July 1997.
	18	R. Cleaveland, S. A. Smolka, and A. Zwarico. Testing preorders for probabilistic processes. Lecture Notes in Computer Science, 623, 1992.
	19	Daniel Coore , Radhika Nagpal , Ron Weiss, Paradigms for Structure in an Amorphous Computer, Massachusetts Institute of Technology, Cambridge, MA, 1997
	20	Costas Courcoubetis , Mihalis Yannakakis, The complexity of probabilistic verification, Journal of the ACM (JACM), v.42 n.4, p.857-907, July 1995 [doi>10.1145/210332.210339]
	21	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.
	22	J. Desharnais , A. Edalat , P. Panangaden, A Logical Characterization of Bisimulation for Labeled Markov Processes, Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, p.478, June 21-24, 1998
	23	R. Fagin , Joseph Y. Halpern , Nimrod Megiddo, A logic for reasoning about probabilities, Information and Computation, v.87 n.1-2, p.78-128, July/August 1990 [doi>10.1016/0890-5401(90)90060-U]
	24	Erann Gat. Towards principled experimental study of autonomous mobile robots. Autonomous Robots, 2:179-189, 1995.
	25	E Le Guemic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with SIGNAL. In Proceedings of the IEEE {7}, pages 1321-1336.
	26	Vineet Gupta , Radha Jagadeesan , Vijay A. Saraswat, Probabilistic Concurrent Constraint Programming, Proceedings of the 8th International Conference on Concurrency Theory, p.243-257, July 01-04, 1997
	27	V. Gupta , R. Jagadeesan , V. A. Saraswat, Computing with continuous change, Science of Computer Programming, v.30 n.1-2, p.3-49, Jan. 1998 [doi>10.1016/S0167-6423(97)00006-3]
	28	Vineet Gupta , Radha Jagadeesan , Vijay A. Saraswat , Daniel G. Bobrow, Programming in Hybrid Constraint Languages, Hybrid Systems II, p.226-251, January 1995
	29	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.
	30	Nicolas Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, Norwell, MA, 1992
	31	N. Halbwachs, E Caspi, and D. Pilaud. The synchronous programming language LUSTRE. In Proceedings of the IEEE {7}, pages 1305- 1320.
	32	H. Hansson and B. Jonsson. A calculus for communicating systems with time and probabilities. In Proceedings of the 11 th IEEE Real- Time Systems Symposium, pages 278-287. IEEE Computer Society Press, 1990.
	33	David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
	34	Sergiu Hart , Micha Sharir, Probabilistic propositional temporal logics, Information and Control, v.70 n.2-3, p.97-155, Aug/Sept. 1986 [doi>10.1016/S0019-9958(86)80001-8]
	35	Mark Hayden , Kenneth Birman, Probabilistic Broadcast, Cornell University, Ithaca, NY, 1996
	36	Pascal Van Hentenryck, Vijay A. Saraswat, and Yves Deville. Constraint processing in cc(fd). Technical report, Computer Science Department, Brown University, 1992.
	37	Jane Hillston, A compositional approach to performance modelling, Cambridge University Press, New York, NY, 1996
	38	Michael Huth , Marta Kwiatkowska, Quantitative Analysis and Model Checking, Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science, p.111, June 29-July 02, 1997
	39	Sverker Janson and Seif Haridi. Programming Paradigms of the Andorra Kernel Language. In Logic Programming: Proceedings of the 1991 International Symposium, pages 167-186. MIT Press, 1991.
	40	C. Jones , G. Plotkin, A probabilistic powerdomain of evaluations, Proceedings of the Fourth Annual Symposium on Logic in computer science, p.186-195, June 1989, Pacific Grove, California, United States
	41	Bengt Jonsson , Wang Yi, Compositional Testing Preorders for Probabilistic Processes, Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science, p.431, June 26-29, 1995
	42	D. Koller, D. McAllester, and A. Pfeffer. Effective bayesian inference for stochastic programs. In Proceedings of the 14th National Conference on Artificial intelligence (AAAI), pages 740-747, 1997.
	43	Kim G. Larsen , Arne Skou, Bisimulation through probabilistic testing, Information and Computation, v.94 n.1, p.1-28, Sept. 1991 [doi>10.1016/0890-5401(91)90030-6]
	44	J. W. Lloyd, Foundations of logic programming, Springer-Verlag New York, Inc., New York, NY, 1984
	45	M. Ajmone Marsan, Stochastic Petri nets: an elementary introduction, Advances in Petri nets 1989, Springer-Verlag New York, Inc., New York, NY, 1990
	46	Ramon E. Moore. Interval Analysis. Prentice-Hall, 1966.
	47	Carroll Morgan , Annabelle McIver , Karen Seidel, Probabilistic predicate transformers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.3, p.325-353, May 1996 [doi>10.1145/229542.229547]
	48	Radhika Nagpal , Daniel Coore, An Algorithm for Group Formation and Maximal Independent Set in an Amorphous Computer, Massachusetts Institute of Technology, Cambridge, MA, 1998
	49	Nils J. Nilsson, Probabilistic logic, Artificial Intelligence, v.28 n.1, p.71-88, Feb. 1986 [doi>10.1016/0004-3702(86)90031-7]
	50	Prakash Panangaden, The Expressive Power of Indeterminate Primitives in Asynchronous Computation, Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science, p.124-150, December 18-20, 1995
	51	Judea Pearl, Probabilistic reasoning in intelligent systems: networks of plausible inference, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988
	52	J.R. Russell. Full abstraction for nondeterministic dataflow networks. In Proceedings of the 30th Annual Symposium of Foundations of Computer Science, pages 170--177, 1989.
	53	Vijay Saraswat , Radha Jagadeesan , Vineet Gupta, Timed default concurrent constraint programming, Journal of Symbolic Computation, v.22 n.5-6, p.475-520, Nov./Dec. 1996 [doi>10.1006/jsco.1996.0064]
	54	Vijay A. Saraswat , Martin Rinard , Prakash Panangaden, The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.333-352, January 21-23, 1991, Orlando, Florida, United States [doi>10.1145/99583.99627]
	55	Vijay A. Saraswat. The Category of Constraint Systems is Cartesianclosed. In Proc. 7th IEEE Symp. on Logic in Computer Science, Santa Cruz, 1992.
	56	Vijay A. Saraswat, Concurrent constraint programming, MIT Press, Cambridge, MA, 1993
	57	Dana Scott. Lattice theory, data types and semantics. In Randall Rustin, editor, Formal Semantics and Programming Languages, pages 65-106. Prentice Hall, 1972.
	58	Roberto Segala, Modeling and verification of randomized distributed real-time systems, Massachusetts Institute of Technology, Cambridge, MA, 1996
	59	G.E. Shilov and B. L. Gurevich. integral, Measure and Derivative: A Unified Approach. Prentice-Hall Inc., 1966.
	60	Gert Smolka, M. Henz, and J. Werz. Constraint Programming: The Newport Papers, chapter Object-oriented programming in Oz. MIT Press, 1994.
	61	Rob J. VanGlabbeek , Scott A. Smolka , Bernhard Steffen, Reactive, generative, and stratified models of probabilistic processes, Information and Computation, v.121 n.1, p.59-80, Aug. 15, 1995 [doi>10.1006/inco.1995.1123]
	62	N. Viswanadham , Y. Narahari, Performance modeling of automated manufacturing systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	63	S.-H. Wu, S.A. Smolka, and E. Stark. Compositionality and full abstraction for probabilistic i/o automata. Theoretical Computer Science, 1996. Preliminary version in CONCUR94.

CITED BY 12

	Mogens Nielsen , Catuscia Palamidessi , Frank D. Valencia, Temporal concurrent constraint programming: denotation, logic and applications, Nordic Journal of Computing, v.9 n.2, p.145-188, Summer 2002
	Norman Ramsey , Avi Pfeffer, Stochastic lambda calculus and monads of probability distributions, ACM SIGPLAN Notices, v.37 n.1, p.154-165, Jan. 2002
	Prakash Panangaden, From logic to stochastic processes (abstract only), Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.1-2, September 20-23, 2000, Montreal, Quebec, Canada
	Josée Desharnais , Vineet Gupta , Radha Jagadeesan , Prakash Panangaden, Approximating labelled Markov processes, Information and Computation, v.184 n.1, p.160-200, July 10, 2003
	Sungwoo Park , Frank Pfenning , Sebastian Thrun, A probabilistic language based upon sampling functions, ACM SIGPLAN Notices, v.40 n.1, p.171-182, January 2005
	Sungwoo Park, A calculus for probabilistic languages, ACM SIGPLAN Notices, v.38 n.3, March 2003
	Frank D. Valencia, Decidability of infinite-state timed CCP processes and first-order LTL, Theoretical Computer Science, v.330 n.3, p.577-607, 9 February 2005
	Josée Desharnais , Abbas Edalat , Prakash Panangaden, Bisimulation for labelled Markov processes, Information and Computation, v.179 n.2, p.163-193, December 15, 2002
	Mogens Nielsen , Frank D. Valencia, Temporal concurrent constraint programming: applications and behavior, Formal and natural computing, Springer-Verlag New York, Inc., New York, NY, 2002
	Osman Hasan , Sofiène Tahar, Formalization of the Standard Uniform random variable, Theoretical Computer Science, v.382 n.1, p.71-83, August, 2007
	Sungwoo Park , Frank Pfenning , Sebastian Thrun, A probabilistic language based on sampling functions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.1, p.1-46, December 2008
	Torben Ægidius Mogensen, Troll, a language for specifying dice-rolls, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii