@inproceedings{bc6ef1ad119747298dcf7128f043a895,
title = "Process semantics of temporal logic specification",
abstract = "A process semantics for temporal logic specification is provided by relating a category of temporal theories and interpretations between theories where specification configuration and interconnection is achieved via colimits of diagrams, and a category of algebraic models of processes where parallel composition is explained in terms of limits of diagrams. This semantics is proved to be exact in the sense that given a diagram in the categories of theories and a model of it as a diagram in the category of processes, the limit of the process diagram is a model of the colimit of the theory diagram. In fact, any denotation of a system of interconnected specifications corresponds to a configuration of their denotations as a system of interconnected processes.",
keywords = "Temporal Logic, State Component, Algebraic Model, Parallel Composition, Kripke Structure",
author = "L. Fiadeiro and Costa, {J. F.} and A. Sernadas and Maibaum, {T. S.E.}",
year = "1993",
doi = "10.1007/3-540-56379-2_43",
language = "English",
isbn = "9783540563792",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "236--253",
editor = "Michel Bidoit and Christine Choppy",
booktitle = "Recent Trends in Data Type Specification",
address = "Germany",
note = "8th Workshop on Specification of Abstract Data Types was held joint with the 3rd COMPASS Workshop, 1991 ; Conference date: 26-08-1991 Through 30-08-1991",
}