Sciweavers

10575 search results - page 326 / 2115
» T2Script Programming Language
Sort
View
IFIP
2004
Springer
15 years 12 months ago
A Calculus with Lazy Module Operators
Davide Ancona, Sonia Fagorzi, Elena Zucca
IFIP
2004
Springer
15 years 12 months ago
Highly Undecidable Questions for Process Algebras
Petr Jancar, Jirí Srba
IFIP
2004
Springer
15 years 12 months ago
Behavioural Theory for Mobile Ambients
Massimo Merro, Francesco Zappa Nardelli
PPDP
2004
Springer
15 years 12 months ago
iRho: an imperative rewriting calculus
Luigi Liquori, Bernard P. Serpette