Temporal Structures

DOI10.1017/S0960129500001286zbMath0756.18006OpenAlexW4234059506MaRDI QIDQ4006231

Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt

Publication date: 26 September 1992

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500001286

zbMATH Keywords

enriched categoriesdata typesalgebra of concurrent behaviorsalgebras of transitive vertex-labeled spacesBirkhoff arithmeticFloyd-Warshall-Kleene algorithmuniform theory of abstract or parametrized time

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Abstract data types; algebraic specification (68Q65) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (5)

Semantic domains of timed event structures ⋮ Chu spaces as a semantic bridge between linear logic and mathematics. ⋮ Dynamic algebras: Examples, constructions, applications ⋮ Unnamed Item ⋮ Extending set functors to generalised metric spaces

Cites Work

• Linear logic
• Variation through enrichment
• Modeling concurrency with partial orders
• Generalized arithmetic
• A Theorem on Boolean Matrices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Temporal Structures