# Integrating processes in temporal logic

Fuchss, Thomas

##### Abstract:

In this paper we propose a technique to integrate process models in
classical structures for quantified temporal (modal) logic. The idea
is that in a temporal logic processes are ordinary syntactical objects
with a specific semantical representation. So we want to achieve a
temporal logics of processes' to adequately describe aspects of
systems dealing with data structures, reactive and time-critical
behavior, environmental influences, and their interaction in a single
frame. Thus the structural information of processes can be captured
and exploited to guide proofs. As an instance of this scheme we
present a quantified, metric, linear temporal logic containing
processes and conjunctions of processes explicitly. Like a predicate a
process can be regarded as a special kind of atomic formula with its
own intension, a family of sets collecting the observable behavior as
runs'. A run is comparable with a Hoare-traces or a timed
observational sequence it is a sequence of sequences of values taken
from a set of objects. Each single value can be regarded as a
snapshot of an observable feature at a moment in time, e.g. a value
transmitted through a channel. ... mehr

 Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Logik, Komplexität und Deduktionssysteme (ILKD) Publikationstyp Buch Publikationsjahr 1997 Sprache Englisch Identifikator urn:nbn:de:swb:90-AAA442979 KITopen-ID: 44297 Erscheinungsvermerk Karlsruhe 1997. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1997,22.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page