12 search results - page 1 / 3 » The "Last" Decision Problem for Rational Trace Lan... |
LATIN
1992
Springer
13 years 9 months ago
1992
Springer
FCT
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. We present three results on divisibility monoids. These divisibility monoids were introduced in [11] as an algebraic generalization of Mazurkiewicz trace monoids. (1) We ...
IEEECIT
2010
IEEE
13 years 3 months ago
2010
IEEE
—The relevance of instruction parallelization and optimal event scheduling is currently increasing. In particular, because of the high amount of computational power available tod...
FOSSACS
2001
Springer
13 years 9 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
ATAL
2004
Springer
13 years 10 months ago
2004
Springer
The missing of an appropriate semantics of agent communication languages is one of the most challenging issues of contemporary AI. Although several approaches to this problem exis...