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 |
Externí odkaz: |
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 |
Externí odkaz: |