On continuous time agents

DOI10.1007/3-540-55511-0_20zbMath1518.68131MaRDI 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

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q55: Semantics in the theory of computing

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

18D20: Enriched categories (over closed or monoidal categories)

Related Items

Conduché property and tree-based categories

Cites Work

• 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
• 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