Rialto to B: An Exercise in Formal Development of a Language for Multiple Models of Computation

A4 Konferenspublikationer


Interna författare/redaktörer


Publikationens författare: Björklund D, Lilius J
Förläggare: IEEE Computer Society
Publiceringsår: 2004
Moderpublikationens namn: Fourth International Conference on Application of Concurrency to System Design

Senast uppdaterad 2019-23-09 vid 03:07