Works matching IS 09601295 AND DT 2004 AND VI 14 AND IP 5

Results: 4
    1

    On asynchrony in name-passing calculi.

    Published in:
    Mathematical Structures in Computer Science, 2004, v. 14, n. 5, p. 715, doi. 10.1017/s0960129504004323
    By:
    • MERRO, MASSIMO;
    • SANGIORGI, DAVIDE
    Publication type:
    Article
    2
    3

    A relational model of non-deterministic dataflow.

    Published in:
    Mathematical Structures in Computer Science, 2004, v. 14, n. 5, p. 613, doi. 10.1017/s0960129504004293
    By:
    • HILDEBRANDT, THOMAS T.;
    • PANANGADEN, PRAKASH;
    • INSKEL, GLYNN
    Publication type:
    Article
    4