290 search results - page 40 / 58 » Congruence for Structural Congruences |
86
Voted
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence ca...
110
Voted
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
Impossible futures equivalence is the semantic equivalence on labelled transition systems that identifies systems iff they have the same "AGEF" properties: temporal logic...
GG
2008
Springer
15 years 1 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
91
Voted
DM
2008
15 years 23 days ago
2008
By a nearlattice is meant a join-semilattice having the property that every principal filter is a lattice with respect to the semilattice order. We introduce the concept of (relat...
106
Voted
CSJM
2006
15 years 21 days ago
2006
Several variants of new digital signature schemes (DSS) based on the discrete logarithm and factorization problems have been proposed. Considered DSS are characterized in that a n...