{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:14:26Z","timestamp":1750220066167,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":6,"publisher":"ACM","license":[{"start":{"date-parts":[[1995,12,11]],"date-time":"1995-12-11T00:00:00Z","timestamp":818640000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1995,12,11]]},"DOI":"10.1145\/3592626.3592661","type":"proceedings-article","created":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T20:50:55Z","timestamp":1691614255000},"page":"433-440","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Multi-Head Multi-Tail Mosaic"],"prefix":"10.1145","author":[{"given":"Brian C.","family":"Ladd","sequence":"first","affiliation":[{"name":"University of North Carolina at Chapel Hill"}]},{"given":"Michael V.","family":"Capps","sequence":"additional","affiliation":[{"name":"University of North Carolina at Chapel Hill"}]},{"given":"P. David","family":"Stotts","sequence":"additional","affiliation":[{"name":"University of North Carolina at Chapel Hill"}]},{"given":"Rick","family":"Furuta","sequence":"additional","affiliation":[{"name":"Texas A&M University"}]}],"member":"320","published-online":{"date-parts":[[2023,8,9]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"121","volume-title":"NC","author":"Furuta R.","year":"1994","unstructured":"R. Furuta and P. D. Stotts , \" Interpreted Collaboration Protocols and their use in Groupware Prototyping, \" Proc. of the 1994 ACM Conference on Computer Supported Cooperative Work (CSCW '94), Research Triangle Park , NC , October 1994 , pp. 121 -- 131 . R. Furuta and P. D. Stotts, \"Interpreted Collaboration Protocols and their use in Groupware Prototyping, \" Proc. of the 1994 ACM Conference on Computer Supported Cooperative Work (CSCW '94), Research Triangle Park, NC, October 1994, pp. 121--131."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/535551"},{"key":"e_1_3_2_1_4_1","volume-title":"IETF Draft","author":"Raggett D.","year":"1995","unstructured":"D. Raggett , HyperText Markup Language Specification Version 3.0 , IETF Draft , 28 March 1995 . D. Raggett, HyperText Markup Language Specification Version 3.0, IETF Draft, 28 March 1995."},{"key":"e_1_3_2_1_5_1","first-page":"27","volume":"27","author":"Stotts P. D.","year":"1994","unstructured":"P. D. Stotts and W. Pugh , Parallel Finite Automata for Modeling Concurrent Software Systems, Journal of Systems and Software (Elsevier Science) , vol. 27 , 1994 , pp. 27 -- 43 . P. D. Stotts and W. Pugh, Parallel Finite Automata for Modeling Concurrent Software Systems, Journal of Systems and Software (Elsevier Science), vol. 27, 1994, pp. 27--43.","journal-title":"Parallel Finite Automata for Modeling Concurrent Software Systems, Journal of Systems and Software (Elsevier Science)"},{"issue":"1","key":"e_1_3_2_1_6_1","first-page":"3","volume":"7","author":"Stotts P. D.","year":"1989","unstructured":"P. D. Stotts and R. Furuta , Petri Net Based Hypertext: Document Structure with Browsing Semantics, ACM Trans. on Information Systems , vol. 7 , no. 1 , January 1989 , pp. 3 -- 29 . P. D. Stotts and R. Furuta, Petri Net Based Hypertext: Document Structure with Browsing Semantics, ACM Trans. on Information Systems, vol. 7, no. 1, January 1989, pp. 3--29.","journal-title":"on Information Systems"},{"key":"e_1_3_2_1_7_1","volume-title":"ACM Trans. on Information Systems, to appear","author":"Stotts P. D.","year":"1996","unstructured":"P. D. Stotts , R. Furuta , and J. C. Ruiz , Hyperdocuments as Automata: Verification of Trace-based Browsing Properties by Model Checking , ACM Trans. on Information Systems, to appear 1996 . P. D. Stotts, R. Furuta, and J. C. Ruiz, Hyperdocuments as Automata: Verification of Trace-based Browsing Properties by Model Checking, ACM Trans. on Information Systems, to appear 1996."}],"event":{"name":"WWW4: Fourth International Conference on World Wide Web","sponsor":["IW3C2","SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web"],"location":"Boston Massachusetts USA","acronym":"WWW4"},"container-title":["Proceedings of the Fourth International Conference on World Wide Web"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3592626.3592661","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3592626.3592661","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:57Z","timestamp":1750183737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3592626.3592661"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12,11]]},"references-count":6,"alternative-id":["10.1145\/3592626.3592661","10.1145\/3592626"],"URL":"https:\/\/doi.org\/10.1145\/3592626.3592661","relation":{},"subject":[],"published":{"date-parts":[[1995,12,11]]},"assertion":[{"value":"2023-08-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}