{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:51:55Z","timestamp":1725637915735},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642272066"},{"type":"electronic","value":"9783642272073"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-27207-3_52","type":"book-chapter","created":{"date-parts":[[2011,12,2]],"date-time":"2011-12-02T14:05:35Z","timestamp":1322834735000},"page":"479-488","source":"Crossref","is-referenced-by-count":0,"title":["The Modeling Approaches of Distributed Computing Systems"],"prefix":"10.1007","author":[{"given":"Susmit","family":"Bagchi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"52_CR1","doi-asserted-by":"crossref","unstructured":"Mostefaoui, A., Raynal, M., Travers, C., Patterson, S., Agrawal, D., Abbadi, E.A.: From Static Distributed Systems to Dynamic Systems. In: Proceedings of the 24th IEEE Symposium on Reliable Distributed Systems (SRDS). IEEE CS Press (2005)","DOI":"10.1109\/RELDIS.2005.19"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"Pelayo, L.F., Valverde, C.J., Pelayo, L.M., Cuartero, F.: Discrete Dynamical Systems for Encoding Concurrent Computing Systems. In: Proceedings of the 9th IEEE International Conference on Cognitive Informatics (ICCI). IEEE CS Press (2010)","DOI":"10.1109\/COGINF.2010.5599731"},{"key":"52_CR3","unstructured":"Dhakal, S., Paskaleva, B.S., Hayat, M.M., Schamiloglu, E., Abdallah, C.T.: Dynamical Discrete-Time Load Balancing in Distributed Systems in the Presence of Time Delays. In: Proceedings of the 42nd IEEE International Conference on Decision and Control, Maui, Hawaii, USA (2003)"},{"key":"52_CR4","doi-asserted-by":"crossref","unstructured":"Ozveren, M.C., Willsky, A.S., Antsaklis, P.J.: Stability and Stabilizability of Discrete Event Dynamic Systems. Journal of the Association of Computing Machinery (ACM) 38(3) (1991)","DOI":"10.1145\/116825.116855"},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"Lamport, L.: Time, Clocks and the Ordering of Events in a Distributed System. Comm. of the ACM 21(7) (1978)","DOI":"10.1145\/359545.359563"},{"key":"52_CR6","doi-asserted-by":"crossref","unstructured":"Aguilera, M.K.: A Pleasant Stroll through the Land of Infinitely Many Creatures. ACM SIGACT News, Distributed Computing Column 35(2) (2004)","DOI":"10.1145\/992287.992298"},{"key":"52_CR7","doi-asserted-by":"crossref","unstructured":"Aguilera, M.K., Delporte-Gallet, C., Fauconnier, H., Toueg, S.: Communication-efficient Leader Election and Consensus with Limited Link Synchrony. In: Proceedings of the 23rd ACM Symposium on Principles of Distributed Computing (PODC). ACM Press (2004)","DOI":"10.1145\/1011767.1011816"},{"key":"52_CR8","doi-asserted-by":"crossref","unstructured":"Friedman, R., Raynal, M., Travers, C.: Two Abstractions for Implementing Atomic Objects in Dynamic Systems. In: Proceedings of the 24th ACM Symposium on Principles of Distributed Computing (PODC). ACM Press (2005)","DOI":"10.1007\/11795490_8"},{"key":"52_CR9","doi-asserted-by":"crossref","unstructured":"Chandy, K.M., Misra, J.: How Processes Learn. Distributed Computing 1(1) (1986)","DOI":"10.1007\/BF01843569"},{"key":"52_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0056468","volume-title":"Distributed Computing","author":"P. Flocchini","year":"1998","unstructured":"Flocchini, P., Mans, B., Santoro, N.: Sense of Direction in Distributed Computing. In: Kutten, S. (ed.) DISC 1998. LNCS, vol.\u00a01499, pp. 1\u201315. Springer, Heidelberg (1998)"},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"Raynal, M.: A Short Introduction to Failure Detectors for Asynchronous Distributed Systems. ACM SIGACT News, Distributed Computing Column 36(1) (2005)","DOI":"10.1145\/1052796.1052806"},{"key":"52_CR12","doi-asserted-by":"crossref","unstructured":"Fabre, E., Benveniste, A., Jard, C.: Distributed Diagnosis for Large Discrete Event Dynamic Systems. In: Proceedings of the IFAC World Congress (July 2002)","DOI":"10.3182\/20020721-6-ES-1901.00731"},{"key":"52_CR13","doi-asserted-by":"crossref","unstructured":"Capkovic, F.: Modelling and Control of Discrete Event Dynamic Systems, BRICS Technical Report, RS-00-26 (2000) ISSN: 0909-0878","DOI":"10.7146\/brics.v7i26.20156"},{"key":"52_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/3-540-40026-5_11","volume-title":"Distributed Computing","author":"M. Merritt","year":"2000","unstructured":"Merritt, M., Taubenfeld, G.: Computing with Infinitely Many Processes. In: Herlihy, M.P. (ed.) DISC 2000. LNCS, vol.\u00a01914, pp. 164\u2013178. Springer, Heidelberg (2000)"},{"key":"52_CR15","unstructured":"Sobh, M.T.: Discrete Event Dynamic Systems: An Overview, Technical Report (CIS), MS-CIS-MS-CIS-91-39, University of Pennsylvania (1991)"},{"key":"52_CR16","unstructured":"Galor, O.: Discrete Dynamical Systems, JEL Classification numbers: C62, O40. Brown University (2005)"},{"key":"52_CR17","unstructured":"Konigsberg, R.Z.: The Stability Problem for Discrete Event Dynamical Systems Modeled with timed Petri Nets Using a Lyapunov-Max-Plus Algebra Approach. International Mathematical Forum\u00a06(11) (2011)"},{"key":"52_CR18","unstructured":"Van Der Aalst, W.M.P., Colom, J.M., Kordon, F., Kotsis, G., Moldt, D.: Petri Net Approaches for Modelling and Validation. LINCOM Studies in Computer Science\u00a01(1) (2003)"},{"issue":"4","key":"52_CR19","first-page":"0771","volume":"36","author":"L. Ben-Naoum","year":"1995","unstructured":"Ben-Naoum, L., Boel, R., Bongaerts, L., De Schutter, B., Peng, Y., Valckenaers, P., Vandewalle, J., Wertz, V.: Methodologies for Discrete Events Dynamic Systems: A Survey. Journal A 36(4) (1995) ISSN: 0771-1107","journal-title":"Journal A"},{"key":"52_CR20","doi-asserted-by":"crossref","unstructured":"Charbonnier, F., Alla, H., David, R.: The Supervised Control of Discrete-Event Dynamic Systems. IEEE Transactions on Control Systems Technology\u00a07(2) (1999)","DOI":"10.1109\/87.748144"}],"container-title":["Communications in Computer and Information Science","Software Engineering, Business Continuity, and Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27207-3_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,11]],"date-time":"2023-06-11T11:02:44Z","timestamp":1686481364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27207-3_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642272066","9783642272073"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27207-3_52","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}