Selected papers of the Second Workshop on Concurrency and compositionality
An algebraic model of observable properties in distributed systems
Theoretical Computer Science
Hi-index | 5.23 |
We study the problem of embedding partial 2-structures into set 2-structures such that the target structure is full and forward closed and it is minimal w.r.t, these properties.Ehrenfeucht and Rozenberg introduced the notion of partial 2-structures--an abstract form of transition systems--and studied the problem of representing them as partial set 2-structures--directed graphs made of sets and their ordered symmetric differences. They constructed a representation and gave the conditions under which the representation is an isomorphism.We propose an alternative representation of partial 2-structures by partial set 2-structures which are complete graphs, hence their transitions may be left implicit, yielding a static representation of dynamic systems.