@TechReport{	  it:2013-014,
  author	= {{\AA}man Pohjola, Johannes and Johannes Borgstr{\"o}m and
		  Joachim Parrow and Palle Raabjerg and Ioana Rodhe},
  title		= {Negative Premises in Applied Process Calculi},
  institution	= {Department of Information Technology, Uppsala University},
  department	= {Computing Science Division},
  year		= {2013},
  number	= {2013-014},
  month		= jun,
  abstract	= {We explore two applications of negative premises to
		  increase the expressive power of psi-calculi: reliable
		  broadcasts and priorities. Together, these can be used to
		  model discrete time, which we illustrate with an example
		  from automotive applications. The negative premises can be
		  encoded by a two-level structural operational semantics
		  without negative premises; we use this fact to prove the
		  standard congruence and structural laws of bisimulation
		  with Nominal Isabelle.}
}