typing again (was: FAQ terminology harmonisation)

[Thomas Lindgren]

--- "C.Reinke" <C.Reinke@REDACTED> wrote:
>     S. J. Gay, V. Vasconcelos and A. Ravara. Session
> Types for
>     Inter-Process Communication.  Technical report
> TR-2003-133,
>     Department of Computing Science, University of
> Glasgow, March 2003.
> 
>    
>
http://www.dcs.gla.ac.uk/~simon/publications/TR-2003-133.pdf
> 
>     [idea: just as you can type functions to
> describe their
>       call-return interface, say + :: Int -> Int ->
> Int, you can 
>       try to type processes to describe their
> communication interface, 
>       say plusServer :: ?Int?Int!Int.End for a
> server that receives 
>       two numbers, then returns their sum and
> terminates]

The Ptolemy II people at Berkeley have proposed
"interface automata" as a sort of typing as well. It
sounds somewhat similar. Interesting idea; in one
paper they could type dining philosophers for
instance.

Best,
Thomas


__________________________________________________
Do you Yahoo!?
Yahoo! Tax Center - File online, calculators, forms, and more
http://tax.yahoo.com