2853 search results - page 142 / 571 » On Coherence in Computer Algebra |
125
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
114
click to vote
ICCSA
2005
Springer
15 years 9 months ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
146
click to vote
WG
2005
Springer
15 years 9 months ago
2005
Springer
Partitive set families are families of sets that can be quite large, but have a compact, recursive representation in the form of a tree. This tree is a common generalization of PQ...
119
click to vote
APN
2001
Springer
15 years 8 months ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
109
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...