Stochastic processes as concurrent constraint programs
暂无分享,去创建一个
[1] Bernhard Steffen,et al. Reactive, Generative and Stratified Models of Probabilistic Processes , 1995, Inf. Comput..
[2] Radha Jagadeesan,et al. Probabilistic Concurrent Constraint Programming , 1997, CONCUR.
[3] Nils J. Nilsson,et al. Probabilistic Logic * , 2022 .
[4] Erann Gat. Towards principled experimental study of autonomous mobile robots , 1995, Auton. Robots.
[5] Gérard Berry,et al. Preemption in Concurrent Systems , 1993, FSTTCS.
[6] Radha Jagadeesan,et al. Computing with Continuous Change , 1998, Sci. Comput. Program..
[7] Wang Yi,et al. Compositional testing preorders for probabilistic processes , 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
[8] R. A. Silverman,et al. Integral, Measure and Derivative: A Unified Approach , 1967 .
[9] C. Jones,et al. A probabilistic powerdomain of evaluations , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[10] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[11] Thierry Gautier,et al. Programming real-time applications with SIGNAL , 1991, Proc. IEEE.
[12] Radha Jagadeesan,et al. Timed Default Concurrent Constraint Programming , 1996, J. Symb. Comput..
[13] Prakash Panangaden,et al. The Expressive Power of Indeterminate Primitives in Asynchronous Computation , 1995, FSTTCS.
[14] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.
[15] James R. Russell,et al. Full abstraction for nondeterministic dataflow networks , 1989, 30th Annual Symposium on Foundations of Computer Science.
[16] Brian C. Williams,et al. Diagnosis with Behavioral Modes , 1989, IJCAI.
[17] Rance Cleaveland,et al. Testing Preorders for Probabilistic Processes , 1992, Inf. Comput..
[18] Michael Huth,et al. Quantitative analysis and model checking , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
[19] Albert Benveniste,et al. A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems , 1994, Theor. Comput. Sci..
[20] Kenneth P. Birman,et al. Probabilistic Broadcast , 1996 .
[21] Rajeev Alur,et al. Model-Checking of Real-Time Systems: A Telecommunications Application Experience Report , 1997, Proceedings of the (19th) International Conference on Software Engineering.
[22] William B. Ackerman,et al. Scenarios: A Model of Non-Determinate Computation , 1981, ICFPC.
[23] Jan A. Bergstra,et al. Axiomatizing Probabilistic Processes: ACP with Generative Probabilities , 1995, Inf. Comput..
[24] T. Hogg,et al. Controlling Agents in Smart Matter with Global Constraints , 1997, AAAI Workshop: Constraints & Agents.
[25] Marco Ajmone Marsan,et al. Stochastic Petri nets: an elementary introduction , 1988, European Workshop on Applications and Theory in Petri Nets.
[26] Roberto Segala,et al. Modeling and verification of randomized distributed real-time systems , 1996 .
[27] Jane Hillston,et al. A compositional approach to performance modelling , 1996 .
[28] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[29] Pascal Van Hentenryck,et al. Constraint processing in cc(fd) , 1992 .
[30] Vijay A. Saraswat. The category of constraint systems is Cartesian-closed , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
[31] Judea Pearl,et al. Probabilistic reasoning in intelligent systems , 1988 .
[32] Abbas Edalat,et al. A logical characterization of bisimulation for labeled Markov processes , 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
[33] Bengt Lennartson,et al. Performance modeling of automated manufacturing systems , 1995, Autom..
[34] Radhika Nagpal,et al. Paradigms for Structure in an Amorphous Computer , 1997 .
[35] Annabelle McIver,et al. Probabilistic predicate transformers , 1996, TOPL.
[36] Peter Struss,et al. A Model of a Photocopier Paper Path , 1999 .
[37] David A. McAllester,et al. Effective Bayesian Inference for Stochastic Programs , 1997, AAAI/IAAI.
[38] Prakash Panangaden,et al. The semantic foundations of concurrent constraint programming , 1991, POPL '91.
[39] Judea Pearl,et al. Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.
[40] Bengt Jonsson,et al. A calculus for communicating systems with time and probabilities , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.
[41] Mihalis Yannakakis,et al. The complexity of probabilistic verification , 1995, JACM.
[42] A. Benveniste,et al. A Petri net approach to fault detection and diagnosis in distributed systems. I. Application to telecommunication networks, motivations, and modelling , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.
[43] Nicolas Halbwachs,et al. Synchronous Programming of Reactive Systems , 1992, CAV.
[44] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..
[45] Albert Benveniste,et al. The synchronous approach to reactive and real-time systems , 1991 .
[46] Seif Haridi,et al. Programming Paradigms of the Andorra Kernel Language , 1991, ISLP.
[47] Ronald Fagin,et al. A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[48] Vijay A. Saraswat,et al. Concurrent constraint programming , 1989, POPL '90.
[49] Micha Sharir,et al. Probabilistic Propositional Temporal Logics , 1986, Inf. Control..
[50] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[51] Christel Baier,et al. Symbolic Model Checking for Probabilistic Processes , 1997, ICALP.
[52] D. Coore,et al. An Algorithm for Group Formation and Maximal Independent Set in an Amorphous Computer , 1998 .
[53] Daniel G. Bobrow,et al. Programming in Hybrid Constraint Languages , 1994, Hybrid Systems.
[54] Kim G. Larsen,et al. Bisimulation through Probabilistic Testing , 1991, Inf. Comput..