1,720,997 research outputs found
Categorical models for handshaking communications
No full textWe analyze the synchronization devices and provide a formalization via categorical means
Categories for handshaking communications
No full textVarious languages and algebraic structures have been recently proposed for denoting parallel computations and communications among processes. We restrict our attention to calculus for communicating systems and we provide a categorical framework for understanding their basic constructs and operations. In particular we show that the parallel composition and the different kinds of interactions among computing processes can be interpreted as categorical constructions in suitable categories
Categories for modelling communicating processes.
No full textA categorical model for communicating processes is provided encompassing most of the more common standard models
Semantica categorica della sincronizzazione tra processi di calcolo
No full textSi analizzano diverse procedure di sincronizzazione tra processi da un punto di vista categorial
Special issue con le versioni estese dei migliori articoli presentati al workshop RCRA 2009.
No full text
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
No full text[No abstract available
- …
