9 search results - page 1 / 2 » ppdp 2001 |
172
click to vote
PPDP
2001
Springer
16 years 13 hour ago
2001
Springer
Ì × Ô Ô ÖÔÖÓÔÓ× × ØÖ Ò× ÓÖÑ Ø ÓÒ¹ × ÔÔÖÓ ØÓ ¹ × Ò ÓÒ×ØÖ Òع × Ò ÐÝ× × ÓÖ Â Ú Ø Ó Ö× Ö Ö ÒÙ¹ Ð Ö Øݺ ÁÒ Ø × Ô...
184
click to vote
PPDP
2001
Springer
16 years 13 hour ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
201
click to vote
PPDP
2001
Springer
16 years 13 hour ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...