4353 search results - page 129 / 871 » Expressiveness of Process Algebras |
128
click to vote
DAS
2008
Springer
15 years 6 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
125
click to vote
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
154
click to vote
AIML
2006
15 years 5 months ago
2006
We observe that the known fact that the difference logic and the hybrid logic with universal modality have the same expressive power on Kripke frames can be strengthened for a far ...
126
click to vote
APPML
2006
15 years 4 months ago
2006
For when the Sylvester matrix equation has a unique solution, this work provides a closed form solution, which is expressed as a polynomial of known matrices. In the case of non-u...
112
click to vote
JCT
2006
15 years 4 months ago
2006
We give a new expression for the number of factorizations of a full cycle into an ordered product of permutations of specified cycle types. This is done through purely algebraic me...