4767 search results - page 96 / 954 » Structures for Abstract Rewriting |
124
click to vote
FINTAL
2006
15 years 5 months ago
2006
Abstract. Every language employs its own coordination strategies, according to the type of coordinating marking, the pattern of marking, the position of the marker, and the phrase ...
139
click to vote
SP
2008
IEEE
15 years 18 days ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
139
Voted
HT
1991
ACM
15 years 5 months ago
1991
ACM
Hypertext systems are being used in many applications because of their flexible structure and the great browsing freedom they give to diverse communities of users. However, this s...
148
click to vote
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
136
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
XML Schema supports the specification of occurrence constraints by declaring values for its min/maxOccurs attributes. These constraints are structural in the sense that they rest...