No JavaScript support!

To take full advantage of this digital library, please verify if your browser supports JavaScript.

polski

English

Digital Library Repository - Institute of Computer Science PAS

readers on-line: 0

Edition

Export metadata

Favourite positions

Add to Favourites

Add to Favourites

Please login or register to use additional features!

Save this address

Add to bookmarks

Edition description

Multiplicative transition systems

Show publication content!

Multiplicative transition systems

Alternative title:

Multiplikatywne systemy tranzycyjne

Winkowski, Józef

Transition systems ; transitions ; posets ; partial category ; lposets ; pomsets

Prace IPI PAN/ICS PAS Reports. Nr 1018, 30 s.

The paper is concerned with algebras whose elements can be used to rep-resent runs of a system. These algebras, called multiplicative transitionsystems, are partial categories with respect to a partial binary operationcalled multiplication. They can be characterized by axioms such that theirelements and operations can be represented by partially ordered multisetsof a certain type and operations on such multisets. The representation canbe obtained without assuming a discrete nature of represented elements.In particular, it remains valid for systems with in nitely divisible elements,and thus also for systems with elements which can represent continuous andpartially continuous runs.

Place of publishing:

Warszawa

Instytut Podstaw Informatyki PAN

2010

raport

application/pdf

oai:rbc.ipipan.waw.pl:69

b 1426/1018

eng

Prace IPI PAN. Utworzone w 1970 r. Do numeru 278 (1977) pod tytułem Prace CO PAN (CC PAS Reports) wydawane przez Centrum Obliczeniowe PAN.

zastrzeżone - dostęp nieograniczony ; autor i Instytut Podstaw Informatyki PAN

Location of original object:

Biblioteka Instytutu Podstaw Informatyki PAN, sygn. b 1426/1018