A Deductive Database Support to the Specification of Concurrent Systems.

Patrizia Asirelli, Stefania Gnesi, Maria Cristina Rossi

Browse the full SOFSEM paper archive.