Active Evaluation Contexts for Reaction Semantics

Autor: Pilegaard, Henrik, Nielson, Flemming, Nielson, Hanne Riis
Zdroj: In Electronic Notes in Theoretical Computer Science 14 May 2007 175(1):57-70
Databáze: ScienceDirect