Dealing Denotationally With Stream-based Communication

Autor: Hidalgo-Herrero, Mercedes, Ortega-Mallén, Yolanda
Zdroj: In Electronic Notes in Theoretical Computer Science 20 July 2005 137(1):47-68
Databáze: ScienceDirect