A formal approach based on the rewriting logic for prototyping distributed information systems.

Ammar Attoui, Michel Schneider

Browse the full RSP paper archive.