On continuous time agents

DOI10.1007/3-540-55511-0_20zbMath1518.68131OpenAlexW1549493961MaRDI QIDQ6116583

Stefano Kasangian, Anna Labella

Publication date: 16 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-55511-0_20

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (1)

Conduché property and tree-based categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Calculi for synchrony and asynchrony
• Algebra of communicating processes with abstraction
• Concurrent histories: a basis for observing distributed systems
• Modeling concurrency with partial orders
• On completeness of locally-internal categories
• Cartesian bicategories. I
• Concurrent transition systems
• Sheaves on sites as Cauchy-complete categories
• Enriched categorical semantics for distributed calculi
• Synchronization trees
• An axiomatics for bicategories of modules
• An operational semantics for timed CSP
• A Theory of Communicating Sequential Processes
• Metric spaces, generalized logic, and closed categories
• Introduction to bicategories
• Temporal structures

This page was built for publication: On continuous time agents