@TechReport{	  it:2003-062,
  author	= {Emilio Tuosto and Bj{\"o}rn Victor and Kidane Yemane},
  title		= {Polyadic History-Dependent Automata for the Fusion
		  Calculus},
  institution	= {Department of Information Technology, Uppsala University},
  department	= {Division of Computer Systems},
  year		= {2003},
  number	= {2003-062},
  month		= dec,
  abstract	= {We extend History Dependent Automata to handle polyadic
		  labels, and using a new symbolic semantics of fusion
		  calculus we give a mapping into these Polyadic HDA with
		  Negative Transitions, and show that the mapping is adequate
		  with respect to hyperequivalence in the fusion calculus.
		  
		  This lays the grounds for HD-automata-based tools
		  applicable not only to the monadic pi-calculus but also to
		  the fusion calculus and polyadic pi-calculus, allowing
		  implementation efforts to be focused at a foundational
		  level rather than being multiplied in several tools.}
}