1.Previous
3.Next

is constructed increasingly better approximations from an initial behavior called using a behavior approximating function to construct a denotation (meaning) for as follows:
::

In this way, can be mathematically characterized in terms of all its possible behaviors.

Logics

Various types of temporal logic can be used to help reason about concurrent systems. Some of these logics, such as linear temporal logic and computation tree logic,

1.Previous
3.Next