85 search results - page 2 / 17 » Partial Higher-dimensional Automata |
104
Voted
FCT
2009
Springer
15 years 18 days ago
2009
Springer
106
Voted
LICS
1996
IEEE
15 years 7 months ago
1996
IEEE
We introduce the notion of higher dimensional transition systems as a model of concurrency providing an elementary, set-theoretic formalisation of the idea of higher dimensional t...
123
Voted
EUROCAST
2005
Springer
15 years 8 months ago
2005
Springer
In this paper a way to have structures with partiality in its internal structure in a categorical approach is presented and, with this, a category of partial graphs Grp is given an...
143
Voted
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
The notion of comparative similarity ‘X is more similar or closer to Y than to Z’ has been investigated in both foundational and applied areas of knowledge representation and r...
152
Voted
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...