[isabelle] New AFP entries



David Trachtenherz has contributed 3 new entries:

Infinite Lists

We introduce a theory of infinite lists in HOL formalized as functions over naturals.
http://afp.sourceforge.net/entries/List-Infinite.shtml

Interval Temporal Logic on Natural Numbers

We introduce a theory of temporal logic operators using sets of natural numbers as time domain, formalized in a shallow embedding manner.
http://afp.sourceforge.net/entries/Nat-Interval-Logic.shtml

AutoFocus Stream Processing for Single-Clocking and Multi-Clocking Semantics

We formalize the AutoFocus Semantics (a time-synchronous subset of the Focus formalism) as stream processing functions on finite and infinite message streams represented as finite/infinite lists.
http://afp.sourceforge.net/entries/AutoFocus-Stream.shtml






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.