{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T13:40:29Z","timestamp":1742046029016,"version":"3.38.0"},"publisher-location":"London","reference-count":13,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199823"},{"type":"electronic","value":"9781447130789"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3078-9_18","type":"book-chapter","created":{"date-parts":[[2011,12,12]],"date-time":"2011-12-12T02:47:45Z","timestamp":1323658065000},"page":"264-278","source":"Crossref","is-referenced-by-count":4,"title":["A Local Presentation of Synchronizing Systems"],"prefix":"10.1007","author":[{"given":"R.","family":"Ramanujam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Rapports de Recherche","author":"G Boudol","year":"1991","unstructured":"Boudol, G. and Castellani, I., \u201cFlow models of distributed computations: event structures and nets\u201d, Rapports de Recherche 1482, IN- RIA, July 1991."},{"key":"18_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0304-3975(89)90117-5","volume":"68","author":"M Droste","year":"1989","unstructured":"Droste, M., \u201cEvent structures and domains\u201d, Theoretical Computer Science, vol. 68, 1989, 37\u201347.","journal-title":"Theoretical Computer Science"},{"key":"18_CR3","first-page":"549","volume":"37","author":"J Halpern","year":"1991","unstructured":"Halpern, J., and Moses, Y., \u201cKnowledge and Common Knowledge in a Distributed Environment\u201d, J ACM, vol. 37, 1991, 549\u2013578.","journal-title":"Knowledge and Common Knowledge in a Distributed Environment"},{"key":"18_CR4","first-page":"267","volume-title":"Knowledge and the ordering of events in distributed systems","author":"P Krasucki","year":"1994","unstructured":"Krasucki, P., and Ramanujam, R., \u201cKnowledge and the ordering of events in distributed systems\u201d, TARK V, Theoretical Aspects of Reasoning about Knowledge, 1994, 267\u2013283."},{"key":"18_CR5","unstructured":"LPRT] Lodaya, K., Parikh, R., Ramanujam, R. and Thiagarajan, P.S., \u201cA logical study of distributed transition systems\u201d, Report IMSc\/92\/07 1992, to appear in Information and Computation."},{"issue":"2","key":"18_CR6","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1142\/S0129054192000103","volume":"3","author":"K Lodaya","year":"1992","unstructured":"Lodaya, K., and Ramanujam, R., and Thiagarajan, P.S., \u201cTemporal Logics for Communicating Sequential Agents: I\u201d, Int. J. Found. Comp. Setvol. 3, 2, 1992, 117\u2013159.","journal-title":"Int. J. Found. Comp. Setvol"},{"key":"18_CR7","first-page":"285","volume":"354","author":"A Mazurkiewicz","year":"1989","unstructured":"Mazurkiewicz, A., \u201cBasic notions of trace theory\u201d, LNCS 354, 1989, 285\u2013363.","journal-title":"Basic notions of trace theory"},{"issue":"4","key":"18_CR8","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0129054192000231","volume":"3","author":"M Mukund","year":"1992","unstructured":"Mukund, M., \u201cPetri nets and step transition systems\u201d, Int. J. Found. Comp. Set., vol. 3, 4, 1992, 443\u2013478.","journal-title":"Int. J. Found. Comp. Set"},{"key":"18_CR9","first-page":"388","volume":"761","author":"M Mukund","year":"1993","unstructured":"Mukund, M. and Sohoni, M., \u201cKeeping track of the latest gossip: bounded time-stamps suffice\u201d, LNCS 761, 1993, 388\u2013399.","journal-title":"Keeping track of the latest gossip: bounded time-stamps suffice"},{"key":"18_CR10","first-page":"45","volume":"4","author":"M Nielsen","year":"1990","unstructured":"Nielsen, M., Rozenberg, G., and Thiagarajan, P.S., \u201cBehavioural notions for elementary net systems\u201d, Distr. Compute vol. 4, 1990, 45\u201357.","journal-title":"Compute"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Thiagarajan, P.S., \u201cA trace based extension of propositional linear time temporal logic\u201d, Proc IEEE LICS, 1994, 438\u2013447.","DOI":"10.1109\/LICS.1994.316047"},{"key":"18_CR12","unstructured":"WN] Winskel, G., and Nielsen, M., \u201cModels for concurrency\u201d, in Handbook of Logic in Computer Science, Eds: Abramsky, Gabbay and Maibaum, Oxford Science Publications."},{"key":"18_CR13","first-page":"99","volume":"21","author":"Zielonka","year":"1987","unstructured":"Zielonka, W., \u201cNotes on finite asynchronous automata\u201d, RAIRO-Inf. Theor. et Appli., vol. 21, 1987, 99\u2013135.","journal-title":"Theor. et Appli."}],"container-title":["Workshops in Computing","Structures in Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3078-9_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T13:16:55Z","timestamp":1742044615000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3078-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199823","9781447130789"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3078-9_18","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}