Sciweavers

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