Temporal structures

DOI10.1007/BFb0018343zbMath1493.68241OpenAlexW4206425789MaRDI QIDQ5096250

Roger F. Crew, José Meseguer, Ross Casley, 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

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

Related Items (1)

On continuous time agents

Cites Work

• Variation through enrichment
• Modeling concurrency with partial orders
• A Theory of Communicating Sequential Processes
• Metric spaces, generalized logic, and closed categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Temporal structures