<XML><RECORDS><RECORD><REFERENCE_TYPE>7</REFERENCE_TYPE><REFNUM>5936</REFNUM><AUTHORS><AUTHOR>Gay,S.J.</AUTHOR><AUTHOR>Nagarajan,R.</AUTHOR></AUTHORS><YEAR>1993</YEAR><TITLE>Modelling SIGNAL in Interaction Categories</TITLE><PLACE_PUBLISHED>Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods (G. L. Burn, S. J. Gay and M. D. Ryan, eds.), Workshops in Computing Series, Springer-Verlag</PLACE_PUBLISHED><PUBLISHER>Springer</PUBLISHER><LABEL>Gay:1993:5936</LABEL><KEYWORDS><KEYWORD>interaction categories</KEYWORD></KEYWORDS<ABSTRACT>Abramsky has recently proposed Interaction Categories as a new paradigm for the semantics of sequential and parallel compuaatation. Working with the category SProc of synchronous processes, which is a key example of an Interaction Category, we study synchronous dataflow as part of a programme of gaining experience in the use of Interaction Categories. After making some general points about representing dataflow in SProc, we present a detailed model of the synchronous dataflow language SIGNAL. We demonstrate that dataflow is a model of concurrency which can easily be treated in a typed framework, and that the structure of Interaction Categories is appropriate for describing real concurrent languages.</ABSTRACT><URL>http://www.dcs.gla.ac.uk/~simon/publications/tfm93.pdf</URL></RECORD></RECORDS></XML>