Temporal structures

DOI10.1007/BFB0018343MaRDI QIDQ5096250zbMATH OpenOpenAlexFDO

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

Publication date 16 August 2022

Published in Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0018343

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Enriched categories (over closed or monoidal categories) (18D20) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Temporal Structures
• Denotational semantics of object specification
• Constructing process categories
• Continuity spaces: Reconciling domains and metric spaces
• Metric semantics from partial order semantics

Cites work

• A Theory of Communicating Sequential Processes
• scientific article; zbMATH DE number 3902007 (Why is no real title available?)
• scientific article; zbMATH DE number 3947615 (Why is no real title available?)
• scientific article; zbMATH DE number 4074506 (Why is no real title available?)
• scientific article; zbMATH DE number 3735177 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 3582349 (Why is no real title available?)
• scientific article; zbMATH DE number 4119606 (Why is no real title available?)
• scientific article; zbMATH DE number 3305156 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Metric spaces, generalized logic, and closed categories
• Modeling concurrency with partial orders
• Variation through enrichment

Cited in

(6)

• Completing the temporal picture
• Temporalising tableaux
• Temporal scale spaces
• Temporal Structures
• scientific article; zbMATH DE number 7075894 (Why is no real title available?)
• On continuous time agents

This page was built for publication: Temporal structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096250)