Temporal Structures

We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled spaces. The motivating applis a uniform theory of abstract or parametrized time in which to any given notion of time there corresponds an algebra of concurrent behaviors and their operations, always the same operations but interpreted automatically and appropriately for that notion of time. An interesting side application is a language for succinctly naming a wide range of datatypes.

• Type: Conference
• Year: 1989
• Where: CTCS
• Authors: Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
• Keywords: CTCS 1989, Enriched Categories, Parametrized Time, Programming Languages, Transitive Vertex-labeled Spaces