|
| << vorige |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 6 van 6 gevonden artikelen
| Titel: |
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes |
| Auteur: |
Józef Winkowski |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 68 (2005) nr. 1-2 pagina's 175-206 |
| Jaar: |
2005-09-16 |
| Inhoud: |
The paper is concerned with modelling distributed systems by specifying their states and processes. Processes are defined as activities in a universe of objects, each object with a set of possible internal states, each activity changing states of some objects and establishing or destroying relations among objects. Partial operations of composing processes sequenially and in parallel are defined. It is shown that certain sets of processes form together with these operations categories with additional structures and special properties, that processes of a system can be represented as morphisms of such categories, and that independence of processes can be characterized in a natural, purely algebraic way. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 6 van 6 gevonden artikelen
| << vorige |