Sciweavers

15777 search results - page 133 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
FOSSACS
2001
Springer
15 years 6 months ago
Axioms for Recursion in Call-by-Value
Masahito Hasegawa, Yoshihiko Kakutani
FOSSACS
2001
Springer
15 years 6 months ago
Temporary Data in Shared Dataspace Coordination Languages
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro