{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:41:12Z","timestamp":1725486072915},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410539"},{"type":"electronic","value":"9783540453499"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45349-0_16","type":"book-chapter","created":{"date-parts":[[2007,6,7]],"date-time":"2007-06-07T00:54:55Z","timestamp":1181177695000},"page":"202-218","source":"Crossref","is-referenced-by-count":0,"title":["A Constraint-Based Framework for Prototyping Distributed Virtual Applications"],"prefix":"10.1007","author":[{"given":"Vineet","family":"Gupta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lalita Jategaonkar","family":"Jagadeesan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radha","family":"Jagadeesan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaowei","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantin","family":"L\u00e4ufer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"16_CR1","unstructured":"L. Alenius and V. Gupta. Modeling an AERCam: A case study in modeling with concurrent constraint languages. In CP\u201998 Workshop on Modeling and Computation in the Concurrent Constraint Languages, October 1998."},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Coucoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3\u201334, 1995.","journal-title":"Theoretical Computer Science"},{"key":"16_CR3","unstructured":"T. Ball, C. Colby, P. Danielsen, L. J. Jagadeesan, R. Jagadeesan, K. L\u00e4ufer, P. Mataga, and K. Rehor. Sisl: Several interfaces, single logic. Intl. J. of Speech Technology, 2000. Kluwer Academic Publishers, to appear."},{"key":"16_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Stepwise Refinement of Distributed Systems-Models, Formalisms, Correctness","author":"H. Barringer","year":"1990","unstructured":"H. Barringer, M. Fisher, D. Gabbay, G. Gough, and R. Owens. Metatem: A framework for programming in temporal logic. In J. W. de Bakker, W. P. de Roevere, and G. Rozenberg, editors, Stepwise Refinement of Distributed Systems-Models, Formalisms, Correctness. Springer-Verlag, 1990. LNCS 430."},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"M. Baudinet. Temporal logic programming is complete and expressive. In Proc. ACM Symp. on Principles of Programming Languages, 1989.","DOI":"10.1145\/75277.75301"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. In Special Issue on Another Look at Real-time Systems, Proc. IEEE, September 1991.","DOI":"10.1109\/5.97297"},{"key":"16_CR7","unstructured":"C. Brzoska. Temporal logic programming and its relation to constraint logic programming. In V. A. Saraswat and K. Ueda, editors, Logic Programming: Proc. 1991 Intl. Symp., pages 661\u2013677, 1991."},{"key":"16_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053547","volume-title":"Foundations of Software Science and Computational Structures","author":"L. Cardelli","year":"1998","unstructured":"L. Cardelli and A. D. Gordon. Mobile ambients. In Foundations of Software Science and Computational Structures, LNCS 1378, 1998."},{"key":"16_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Hybrid Systems 98: Computation and Control","author":"B. Carlson","year":"1998","unstructured":"B. Carlson and V. Gupta. Hybrid CC and interval constraints. In T. A. Henzinger and S. Sastry, editors, Hybrid Systems 98: Computation and Control, LNCS 1386. Springer Verlag, April 1998."},{"issue":"6","key":"16_CR10","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1109\/6.499951","volume":"33","author":"E. M. Clarke","year":"1996","unstructured":"E. M. Clarke and R. P. Kurshan. Computer-Aided Verification. IEEE Spectrum 33 (6), pages 61\u201367, (1996).","journal-title":"IEEE Spectrum"},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Prog. Lang. and Systems, 15(1), 1993.","DOI":"10.1145\/151646.151648"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"C. Colby, L. J. Jagadeesan, R. Jagadeesan, K. L\u00e4ufer, and C. Puchol. Design and implementation of Triveni: A process-algebraic API for threads + events. In Proc. IEEE Intl. Conf. on Computer Languages. IEEE Computer Press, 1998.","DOI":"10.1016\/S1571-0661(05)80233-6"},{"key":"16_CR13","unstructured":"C. Colby, L. J. Jagadeesan, R. Jagadeesan, K. L\u00e4ufer, and C. Puchol. Objects and concurrency in Triveni: A telecommunication case study in Java. In Proc. Fourth USENIX Conf. on Object Oriented Technologies and Systems, 1998."},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"C. Colby, L. J. Jagadeesan, R. Jagadeesan, K. L\u00e4ufer, and C. Puchol. Semantics of Triveni: A process-algebraic API for threads + events. Electronic Notes in Theoretical Computer Science, 14, 1999.","DOI":"10.1016\/S1571-0661(05)80233-6"},{"key":"16_CR15","unstructured":"C. Colby, R. Jagadeesan, K. L\u00e4ufer, and C. Sekharan. Interaction, concurrency, and oop in the curriculum: a sophomore course. In Proc. 1998 OOPSLA Educators Workshop, 1998."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"L. K. Dillon and Q. Yu. Oracles for checking temporal properties of concurrent systems. Software Engineering Notes, 19(5):140\u2013153, December 1994. Proc. 2nd ACM SIGSOFT Symp. on Foundations of Software Engineering.","DOI":"10.1145\/193173.195401"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"C. Elliott and P. Hudak. Functional reactive animation. In A CM SIGPLAN Intl. Conf. on Functional Programming, 1997.","DOI":"10.1145\/258948.258973"},{"key":"16_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"7th Intl. Conf. on Concurrency Theory (CONCUR\u201996)","author":"C. Fournet","year":"1996","unstructured":"C. Fournet, G. Gonthier, J.-J. L\u00e9vy, L. Maranget, and D. R\u00e9my. A calculus of mobile agents. In 7th Intl. Conf. on Concurrency Theory (CONCUR\u201996), pages 406\u2013421, Pisa, Italy, August 26\u201329 1996. Springer-Verlag. LNCS 1119."},{"key":"16_CR19","unstructured":"D. Gelernter. Now that the PC is dead. Wall Street Journal, Jan 1 2000. http:\/\/www.mirrorworlds.com\/ ."},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"P. Godefroid. Model checking for programming languages using VeriSoft. In Proc. 24th ACM Symp. on Principles of Programming Languages, pages 174\u2013186, 1997.","DOI":"10.1145\/263699.263717"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"P. Godefroid, L. J. Jagadeesan, R. Jagadeesan, and K. L\u00e4ufer. Automated systematic testing for constraint-based interactive services. In Proc. 8th Intl. Symp. on the Foundations of Software Engineering, November 2000. To appear.","DOI":"10.1145\/355045.355051"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"S. Gregory. A declarative approach to concurrent programming. In Proc. 9th Intl. Symp. on Programming Languages, Implementations, Logics, and Programs, 1997.","DOI":"10.1007\/BFb0033838"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"P. Le Guernic, M. Le Borgne, T. Gauthier, and C. Le Maire. Programming real time applications with signal. In Special Issue on Another Look at Real-time Systems, Proc. IEEE, September 1991.","DOI":"10.1109\/5.97301"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"V. Gupta, R. Jagadeesan, and V. Saraswat. Hybrid cc, hybrid automata, and program verification. LNCS 1066, 1996.","DOI":"10.1007\/BFb0020935"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"V. Gupta, R. Jagadeesan, V. Saraswat, and D. G. Bobrow. Programming in hybrid constraint languages. LNCS 999, 1995.","DOI":"10.1007\/3-540-60472-3_12"},{"issue":"12","key":"16_CR26","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(97)00006-3","volume":"30","author":"V. Gupta","year":"1998","unstructured":"V. Gupta, R. Jagadeesan, and V. A. Saraswat. Computing with continuous change. Science of Computer Programming, 30((1,2)):3\u201349, 1998.","journal-title":"Science of Computer Programming"},{"key":"16_CR27","unstructured":"Vineet Gupta, Vijay Saraswat, and Peter Struss. A model of a photocopier paper path. In Proc. 2nd IJCAI Workshop on Engineering Problems for Qualitative Reasoning, August 1995."},{"key":"16_CR28","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous programming of reactive systems. The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publishers, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Caspi, and D. Pilaud. The synchronous programming language lustre. In Special Issue on Another Look at Real-time Systems, Proc. IEEE, September 1991.","DOI":"10.1109\/5.97300"},{"key":"16_CR30","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: A visual approach to complex systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"16_CR31","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"16_CR32","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J. L. Lassez. Constraint logic programming. In Proc. 14th Annual ACM Symp. on Principles of Programming Languages, 1987.","DOI":"10.1145\/41625.41635"},{"issue":"3","key":"16_CR33","first-page":"26","volume":"1","author":"G. Krasner","year":"1988","unstructured":"G. Krasner and S. Pope. A cookbook for using the model-view-controller user interface. J. Object-Oriented Programming, 1(3):26\u201349, August\/September 1988.","journal-title":"J. Object-Oriented Programming"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"R. P. Kurshan. Computer-aided Verification of Coordinating Processes: the automata-theoretic approach. Princeton U. Press, 1994.","DOI":"10.1515\/9781400864041"},{"key":"16_CR35","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1991. 427 pp.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"16_CR36","unstructured":"R. Merz. Efficiently executing temporal logic programs. In Fisher and R. Owens, editors, Proc. of IJCAI, 1993."},{"key":"16_CR37","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"16_CR38","unstructured":"R. Milner, J. Parrow, and D. Walker. Mobile processes. Technical report, U. Edinburgh, 1989."},{"key":"16_CR39","doi-asserted-by":"crossref","unstructured":"B. Moszkowski. Executing Temporal Logic Programs. Cambridge Univ. Press, 1986.","DOI":"10.1007\/3-540-15670-4_6"},{"key":"16_CR40","doi-asserted-by":"crossref","unstructured":"R. V. Renesse, K. P. Birman, and S. Maffeis. Horus, a flexible group communication system. Communications of the ACM, April 1996.","DOI":"10.1145\/227210.227229"},{"key":"16_CR41","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat. Concurrent Constraint Programming. Logic Programming and Doctoral Dissertation Award Series. MIT Press, March 1993.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"16_CR42","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1006\/jsco.1996.0064","volume":"22","author":"V. A. Saraswat","year":"1996","unstructured":"V. A. Saraswat, R. Jagadeesan, and V. Gupta. Timed Default Concurrent Constraint Programming. J. Symbolic Computation, 22:475\u2013520, 1996. Extended abstract appeared in the Proc. 22nd ACM Symp. on Principles of Programming Languages, San Francisco, January 1995.","journal-title":"J. Symbolic Computation"},{"issue":"3","key":"16_CR43","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"E. Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21(3):413\u2013510, September 1989.","journal-title":"ACM Computing Surveys"},{"key":"16_CR44","unstructured":"M. Y. Vardi and P. Wolper. An automata-theoretic approach to automatic program verification. In Proc. IEEE Symp. on Logic in Computer Science, pages 322\u2013331, 1986."}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45349-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T07:18:21Z","timestamp":1683875901000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45349-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410539","9783540453499"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/3-540-45349-0_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}