A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
This report documents the program and the outcomes of Dagstuhl Seminar 12352 "Information Flow and Its Applications". ... Mislove The seminar "Information Flow and Its Applications" that took place in Schloss Dagstuhl in August 2012, has been the latest in a series of meetings concerning information flow that began with the ... Flow and Its Applications ...fatcat:o2qwo3v725drjhn7bhhb5g37q4
We give a single example (taken from an uncountably infinite set of similar examples, and based on structures used in models of reversible logic and computation) of a category whose structural isomorphisms ... This paper investigates some issues arising in categorical models of reversible logic and computation. ... However, a passing comment in the appendix of  (expanded upon in a talk given by the author at Dagstuhl Seminar 12352, 'Information Flow and its Applications'  ) observes that in various settings ...arXiv:1304.7128v1 fatcat:h7pfp4wjfvconaznqodn5wtdca
Acknowledgments Many thanks to the Dagstuhl office and its helpful and patient staff; huge thanks to the organizers of the previous seminars in the series for setting us up for success; and thanks to all ... the participants, who worked hard and were amiable company all week. ... Software Clone Management Towards Industrial Application (12071) Software Synthesis (12152) Verifying Reliability (12341) Information Flow and Its Applications (12352) Coalgebraic Logics (12411) ...fatcat:qmtsqeo23jcjffzwbvuoasqchq