Login / Signup

Termination detection for active objects.

Frank S. de BoerImmo GrabeMartin Steffen
Published in: J. Log. Algebraic Methods Program. (2012)
Keyphrases