Model Checking for the Concurrent Constraint Paradigm

Villanueva García Alicia

2004

Bulletin of the European Association for Theoretical Computer Science EATCS