Login / Signup

Structural operational semantics for AKL.

Seif HaridiSverker JansonCatuscia Palamidessi
Published in: Future Gener. Comput. Syst. (1992)
Keyphrases