{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:50:31Z","timestamp":1725558631887},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540202165"},{"type":"electronic","value":"9783540452089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45208-9_22","type":"book-chapter","created":{"date-parts":[[2010,6,28]],"date-time":"2010-06-28T00:49:20Z","timestamp":1277686160000},"page":"271-283","source":"Crossref","is-referenced-by-count":0,"title":["A Coalgebraic Description of Web Interactions"],"prefix":"10.1007","author":[{"given":"Daniela","family":"Cancila","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Furio","family":"Honsell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"Aczel, P.: Non-Well Founded Sets, Stanford. CSLI Lecture Notes, vol.\u00a014 (1988)"},{"key":"22_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BFb0018361","volume-title":"Category Theory and Computer Science","author":"P. Aczel","year":"1989","unstructured":"Aczel, P., Mendler, N.: A Final Coalgebra Theorem. In: Dybjer, P., Pitts, A.M., Pitt, D.H., Poign\u00e9, A., Rydeheard, D.E. (eds.) Category Theory and Computer Science. LNCS, vol.\u00a0389, pp. 357\u2013365. Springer, Heidelberg (1989)"},{"key":"22_CR3","unstructured":"Atzeni, P., Mecca, G., Meraildo, P.: To Weave the Web. In: International Conf. on Very Large Data Bases, VLDB 1997, pp. 206\u2013215 (1997)"},{"key":"22_CR4","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"A Logic for Coalgebraic Simulation.","author":"A. Baltag","year":"2000","unstructured":"Baltag, A.: A Logic for Coalgebraic Simulation. Electronic Notes in Theoretical Computer Science, vol.\u00a033. Elsevier Science Publishers, Amsterdam (2000)"},{"key":"22_CR5","series-title":"Lecture Notes","volume-title":"Vicious Circles","author":"J. Barwise","year":"1996","unstructured":"Barwise, J., Moss, L.: Vicious Circles. Lecture Notes, vol.\u00a060. CSLI Publications, Stanford (1996)"},{"key":"22_CR6","unstructured":"Forti, M., Honsell, F.: Set Theory with Free Construction Principles. In: Classe di Scienze, vol.\u00a010(4), pp. 493\u2013522. Annali Scuola Normale Sup. di Pisa (1983)"},{"key":"22_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/3-540-48834-0_15","volume-title":"Computation for Metaphors, Analogy, and Agents","author":"J. Goguen","year":"1999","unstructured":"Goguen, J.: An Introduction to Algebraic Semiotics, with Applications to User Interface Design. In: Nehaniv, C.L. (ed.) CMAA 1998. LNCS (LNAI), vol.\u00a01562, pp. 242\u2013291. Springer, Heidelberg (1999)"},{"key":"22_CR8","unstructured":"Goguen, J.: CSE 271 Homepage. User Interface Design: Social and Techinical Issue (Spring 2002), http:\/\/www-cse.ucsd.edu\/users\/goguen\/courses\/271\/"},{"key":"22_CR9","first-page":"222","volume":"62","author":"B. Jacobs","year":"1997","unstructured":"Jacobs, B., Rutten, J.: A Tutorial on (Co)Algebras and (Co)Induction. Bulletin\u00a062, 222\u2013259 (1997)","journal-title":"Bulletin"},{"key":"22_CR10","unstructured":"Lenisa, M.: Themes in Final Semantics. PhD thesis, Dipartimento di Informatica, Universit\u00e0 di Pisa (1998)"},{"key":"22_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/3-540-63385-5_42","volume-title":"Computational Logic and Proof Theory","author":"A. Lisitsa","year":"1997","unstructured":"Lisitsa, A., Sazonov, V.: Bounded Hyperset Theory and Web-like data bases. In: Gottlob, G., Leitsch, A., Mundici, D. (eds.) KGC 1997. LNCS, vol.\u00a01289, pp. 172\u2013185. Springer, Heidelberg (1997)"},{"key":"22_CR12","unstructured":"Mecca, G., Merialdo, P., Atzeni, P., Crescenzi, V.: The (Short) Araneus Guideto Web-Site Development. In: Second Intern. Workshop on the Web and Databases(WebDB 1999) (1999)"},{"key":"22_CR13","volume-title":"Usability Inspection Methods","author":"J. Nielsen","year":"1994","unstructured":"Nielsen, J.: Usability Inspection Methods. John Wiley and Sons, Inc., Chichester (1994)"},{"key":"22_CR14","volume-title":"Designing Web Usability","author":"J. Nielsen","year":"2000","unstructured":"Nielsen, J.: Designing Web Usability. New Riders, Indianapolis (2000)"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Pirolli, P., Pitkow, J., Rao, R.: Silk from a sow\u2019s ear: Extracting esable structures from the web. In: Proceeding of Human Factors in Computing Systems (CHI 1996) Conference, Vancouver, British Columbia, Canada (1996)","DOI":"10.1145\/238386.238450"},{"key":"22_CR16","volume-title":"Information Architecture for the World Wide Web","author":"L. Rosenfeld","year":"1998","unstructured":"Rosenfeld, L., Morville, P.: Information Architecture for the World Wide Web. O\u2019Reilly, Sebastopol (1998)"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Rutten, J.: Relators and metric bisimulations. In: CMCS 1998, Conference Proceeding. ENTCS, vol.\u00a011 (1998)","DOI":"10.1016\/S1571-0661(04)00063-5"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J. Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. TCS\u00a0249, 3\u201380 (2000)","journal-title":"TCS"},{"key":"22_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1007\/3-540-45575-2_38","volume-title":"Perspectives of System Informatics","author":"V. Sazonov","year":"2001","unstructured":"Sazonov, V.: Using Agents for Concurrent Querying of Web-like Databases via a Hyper-Set-Theoretic Approach. In: Bj\u00f8rner, D., Broy, M., Zamulin, A.V. (eds.) PSI 2001. LNCS, vol.\u00a02244, p. 378. Springer, Heidelberg (2001)"},{"key":"22_CR20","unstructured":"Thijs, A.: Simulation and Fixpoint Semantics. PhD thesis, University of Groningen (1996)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45208-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T09:40:46Z","timestamp":1559209246000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45208-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540202165","9783540452089"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45208-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}