HOME       UP       PREV       NEXT (Beyond Pure RTL: Behavioural descriptions of hardware.)  

Join Calculus

//A simple join chord:
public class Buffer
{
  public async Put(char c);

  public char Get(bool f) & Put(char c) 
    { return (f)?   toupper(c):c; }
}

A new concurrency primitive - now builtin to C Sharp.

Has been compiled to hardware by a couple of research projects.


10: (C) 2008-13, DJ Greaves, University of Cambridge, Computer Laboratory.