Pages that link to "Item:Q1203710"
From MaRDI portal
The following pages link to The categorical framework of object-oriented concurrent systems (Q1203710):
Displaying 8 items.
- Categorical methods for concurrency, interaction, and mobility. Proceedings of the workshop (CMCIM), Brno, Czech Republic, August 24, 2002. (Q350732) (← links)
- A categorical framework for the transformation of object-oriented systems: models and data (Q631577) (← links)
- Applications of category theory to the area of algebraic specification in computer science (Q1383220) (← links)
- Towards a unified framework for decomposability of processes (Q1708904) (← links)
- An algebraic semantic framework for object oriented languages with concurrency. (Extended abstract) (Q2365396) (← links)
- A categorical framework for typing CCS-style process communication (Q2841310) (← links)
- (Q4845051) (← links)
- Theory and Applications of Models of Computation (Q5898913) (← links)