Location of Repository

Józef Winkowski AN ALGEBRAIC FRAMEWORK FOR CONCURRENT SYSTEMS 1

By 

Abstract

Academy of Sciences. Updated 2013.7.1.2Abstract: The paper contributes with a concept of process viewed as a model of a run of a system (discrete, continuous, or of a mixed type), with operations allowing to define complex processes in terms of their components, and with the idea of using the formal tools thus obtained to define the behaviours of concurrent systems. A process may have an initial state (a source), a final state (a target), or both. Processes of which one is a continuation of the other can be composed sequentially. Independent processes, i.e. processes which do not disturb each other, can be composed in parallel. Processes may be prefixes, i.e. independent components of initial segments of other processes. Processes and operations on processes are represented by partially ordered multisets of a certain type and operations on such multisets. Processes in a universe of objects and the sequential composition o

Topics: Process, state, sequential composition, parallel composition, category, partial category, partial monoid, independence
Year: 2013
OAI identifier: oai:CiteSeerX.psu:10.1.1.308.5162
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.ipipan.waw.pl/~wink... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.