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