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)

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