Sciweavers

10575 search results - page 326 / 2115
» T2Script Programming Language
Sort
View
95
Voted
IFIP
2004
Springer
15 years 10 months ago
A Calculus with Lazy Module Operators
Davide Ancona, Sonia Fagorzi, Elena Zucca
107
Voted
IFIP
2004
Springer
15 years 10 months ago
Highly Undecidable Questions for Process Algebras
Petr Jancar, Jirí Srba
90
Voted
IFIP
2004
Springer
15 years 10 months ago
Behavioural Theory for Mobile Ambients
Massimo Merro, Francesco Zappa Nardelli
100
Voted
PPDP
2004
Springer
15 years 10 months ago
Formalization and abstract implementation of rewriting with nested rules
Sergio Antoy, Stephen Johnson
PPDP
2004
Springer
15 years 10 months ago
iRho: an imperative rewriting calculus
Luigi Liquori, Bernard P. Serpette