ISS Library

КОАЛГЕБРАИЧЕСКОЕ ИССЛЕДОВАНИЕ БИСИМУЛЯЦИОННЫХ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ

Антонцева Марина Федоровна (2004) КОАЛГЕБРАИЧЕСКОЕ ИССЛЕДОВАНИЕ БИСИМУЛЯЦИОННЫХ ПАРАЛЛЕЛЬНЫХ ПРОЦЕССОВ. In: УкрПрог, 1-3 июня 2004 г., г. Киев, Украина.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
299Kb

Abstract

The aim of this paper is to extend of coalgebra semantic and categorical methods to noninterleaving models, in particular, transition systems with independence and labelled event structure.

Item Type:Conference or Workshop Item (Paper)
Subjects:F. Theory of Computation
ID Code:292
Deposited By:G.U. Volkova
Deposited On:14 Jan 2008 13:38
Last Modified:14 Jan 2008 13:38

Repository Staff Only: item control page