Reasoning about Connector Reconfiguration II: Basic reconfiguration Logic (2005)

by Dave Clarke
Venue:In Proc. FSEN’05, Teheran, Electronic Notes in Theoretical Computer Science