Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
9657836 | Theoretical Computer Science | 2005 | 16 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Andrzej M. Borzyszkowski, Philippe Darondeau,