TopDir - top sites directory

TopDir is a human edited web directory with various categories, a collection of hand-picked web resources for visitors

TopDir offers free website promotion for webmasters and website owners. Relevant search results and many categories for adding and promoting websites. Free web promotion for websites at TopDir directory. Submit your url for review. A collection of hand-picked web resources for visitors. This page is focused on one particular aspect of Science, Math, Logic and Foundations, Nonstandard Logics and Extensions, Temporal Logic.

Prior, Arthur@ (2)

See also:

Reference: Time (79)

» Efficient Symbolic Tools - A BDD based tool for the formal verification of concurrent systems using a propositional branching-time temporal logic: action computation tree logic (ACTL). It runs under different OS, including Linux and Windows 95/98/NT.

http://www.cse.dmu.ac.uk/~cau/itlhomepage/

» Interval Temporal Logic - A flexible notation for both propositional and first-order reasoning about periods of time found in descriptions of hardware and software systems. A paper by Antonio Cau, Ben Moszkowski and Hussein Zedan.

http://www.fmi.uni-passau.de/~sterr/jmca/mainpage.html

» JMCA - Java ModelChecking Application - JMCA is a Java application for formally verifying finite-state concurrent systems using temporal logic formulas (ltl formulas).

$http://lists.w3.org/Archives/Public/www-math/msg00496.html$

» Marking up Temporal Logic - First in a series of posts to the www-math mailing list on using TL operators in web pages. Clicking [Prev] will continue through the series.

http://plato.stanford.edu/entries/logic-temporal/

» Temporal Logic - The Stanford Encyclopedia of Philosophy entry on the subject, with a detailed description, application areas and a bibliography.

http://www.sei.cmu.edu/publications/documents/89.reports/89.tr.024.html

» Temporal Logic Case Study - A case study applying temporal logic to specify the operation of a bank of identical elevators servicing a number of floors in a building.

http://www.brics.dk/LS/97/Abs/BRICS-LS-97-Abs/

» Temporal Logic in Information Systems - A survey of the field by Jan Chomicki and David Toman. From the 1997 BRICS Lecture Series.

» TemporalRover - Provides automatic verification of protocols and reactive systems through temporal logic specifications.

» Time International Workshop Series - The annual International Workshop on Temporal Representation and Reasoning covers temporal representation and reasoning, including temporal logic.

TopDir is a human edited web directory with various categories. Our mission is to organize theme based websites and remove the clutter from the information. We strive to provide context based website results to our visitors. This directory is an evolving one and we regularly add new categories, if there is a necessity. Members can suggest new categories and websites for inclusion. This is one stop promotion site for webmasters and website owners. We invite you to browse the categories and suggest your website url for an editor review. This page is focused on one particular aspect of Science, Math, Logic and Foundations, Nonstandard Logics and Extensions, Temporal Logic.

Help build the largest human-edited directory on the web. Soumettre un site - Open Directory Project - Devenir Editeur

Web directories list the websites by theme. The links in a web directory are collected, edited and organized by humans. Yahoo and Dmoz ODP(Open Directory Project) are considered as the best human-edited web directories on the Internet and they are one of the most trusted and relied traffic sources. Since these directories get thousands of submissions every day, it is sometimes difficult to get listed in them and your URL may take a long time to be reviewed and listed. Generally good directory listings give a surprise boost to your link popularity.