A coalgebraic description of web interactions.

DOI10.1007/B13810MaRDI QIDQ5897366zbMATH OpenOpenAlexFDO

Authors Daniela Cancila, Furio Honsell

Publication date 23 February 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b13810

zbMATH Keywords

simulationcoalgebrarelatorscoalgebraic bisimulationweb sitelog fileuser-visit

Mathematics Subject Classification ID

Internet topics (68M11) Abstract data types; algebraic specification (68Q65)

Recommendations

• Coalgebraic symbolic semantics
• Universal coalgebras and their logics
• A coalgebraic theory of reactive systems
• Universal coalgebra: A theory of systems
• scientific article; zbMATH DE number 2112325

Cited in

(1)

• Ludics and Web: Another Reading of Standard Operations

This page was built for publication: A coalgebraic description of web interactions.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897366)