Browsing Technical and Research Reports by Subject "Teoria : Concorrencia"
Now showing items 1-2 of 2
-
Diagonal compositionality of concurrent, finite state systems
(CPGCC da UFRGS, 1996) [Technical and Research Report]In previous works together with J . Félix Costa and A. Sernadas, we construct a categoria} semantic domain called Nonsequential Automata (first introduced in [10]), based on labeled transition systems [15] with full ... -
Refinement in a concurrent, object-based language
(CPGCC da UFRGS, 1996) [Technical and Research Report]Nonsequential automata constitute a categoria! semantic domain based oo labeled transition system with full concurrency, where restriction and relabeling are functorial and a class oi morphisms stands for refinement. It ...