On continuous time agents
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 403-425
- https://doi.org/10.1007/3-540-55511-0_20
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Concurrent transition systemsTheoretical Computer Science, 1989
- Cartesian bicategories IJournal of Pure and Applied Algebra, 1987
- On completeness of locally-internal categoriesJournal of Pure and Applied Algebra, 1987
- An axiomatics for bicategories of modulesJournal of Pure and Applied Algebra, 1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Synchronization treesTheoretical Computer Science, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Sheaves on sites as Cauchy-complete categoriesJournal of Pure and Applied Algebra, 1982
- Closed CategoriesPublished by Springer Nature ,1966