<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />

  TITLE: Types of Fusion (work in progress)


<p>

  SPEAKER: 
Björn Victor, Dept. of IT, Uppsala University, Sweden <p>

  DATE: Tuesday, 16 November 1999<p>

  PLACE and TIME: Room E1-214 at 14:00. <p>

  ABSTRACT: The fusion calculus was introduced as a generalization and
simplification of the pi-calculus, by introducing a kind of "shared
state" and separating binding from input.  This "shared state" can be
updated by fusion actions, which make two (or more) names
indistinguishable - they are fused together.
<p>
Introducing constants when modelling systems is often very useful.  In
the fusion calculus this is difficult, since a general fusion calculus
context may at any time fuse any free names, including those indended
to be constants.  To reduce the family of contexts to consider, we
would like to use a type system.
<p>
This talk introduces a type system focused on the usage of names in
*object* position, in contrast with most/all type systems for the
pi-calculus, which focus on usage in subject position (input/output
capabilities, receptiveness etc).  Types in our system are represented 
by graphs.
<p>
This is work in progress together with Vasco T. Vasconcelos of Lisbon
University, Portugal.  Discussion is very welcome!

  
<p>