Temporal structures
- 22 November 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Behavior Structures and NetsFundamenta Informaticae, 1988
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- Two-way channel with disconnectPublished by Springer Nature ,1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Variation through enrichmentJournal of Pure and Applied Algebra, 1983
- On the composition of processesPublished by Association for Computing Machinery (ACM) ,1982
- On Partial LanguagesFundamenta Informaticae, 1981
- Review of the elements of 2-categoriesPublished by Springer Nature ,1974
- Categories for the Working MathematicianPublished by Springer Nature ,1971
- Closed CategoriesPublished by Springer Nature ,1966