On continuous time agents
From MaRDI portal
Publication:6116583
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
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)
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