3239 search results - page 63 / 648 » A Logical Process Calculus |
117
click to vote
CORR
2004
Springer
15 years 13 days ago
2004
Springer
We present role logic, a notation for describing properties of relational structures in shape analysis, databases, and knowledge bases. We construct role logic using the ideas of ...
85
Voted
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Handshake protocols are asynchronous protocols that enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. W...
96
Voted
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
110
click to vote
ICALP
2009
Springer
16 years 26 days ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
143
click to vote
WIA
2000
Springer
15 years 4 months ago
2000
Springer
This paper is a review of some of the major applications of finite-state transducers in Natural Language Processing ranging from morphological analysis to finite-state parsing. The...