Journal: Fundamenta Informaticae

Volume 111, Issue 3

257 -- 279Stefano Bistarelli, Francesco Santini. A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process
281 -- 311John Case, Samuel E. Moelius. Properties Complementary to Program Self-Reference
313 -- 337Francisco Claude, Gonzalo Navarro. Self-Indexed Grammar-Based Compression
339 -- 355Alessio Lomuscio, Wojciech Penczek, Monika Solanki, Maciej Szreter. Runtime Monitoring of Contract Regulated Web Services