1302 search results - page 134 / 261 » Fair Equivalence Relations |
192
click to vote
QEST
2007
IEEE
16 years 6 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
172
click to vote
SYNASC
2007
IEEE
16 years 6 days ago
2007
IEEE
A trapdoor based on an extension of the RSA trapdoor is proposed. The same function as in the RSA cryptosystem is used, i.e. x modn, but there is no restriction for the exponent t...
160
click to vote
CONCUR
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
136
click to vote
DBPL
2007
Springer
16 years 3 days ago
2007
Springer
Martens et al. defined a pattern-based specification language equivalent in expressive power to the widely adopted XML Schema definitions (XSDs). This language consists of rules...
138
click to vote
GECCO
2007
Springer
16 years 3 days ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....