@Article{kavanagh_2022:_fairn_commun_based,
  author =	 {Kavanagh, Ryan},
  title =	 {Fairness and Communication-Based Semantics for
		  Session-Typed Languages},
  volume =	 285,
  number =	 B,
  doi =		 {10.1016/j.ic.2022.104892},
  _checked =	 {2022-06-03},
  _source =	 {ev},
  abstract =	 {Polarized SILL is a programming language that
		  combines functional programming with session-typed
		  message-passing concurrency. It features general
		  recursion; code and channel transmission; and
		  synchronous and asynchronous communication. To
		  reason about Polarized SILL programs, we develop the
		  first program equivalence framework based on
		  observable communications. We give meaning to
		  Polarized SILL programs using an observed
		  communication semantics (OCS). Our OCS is the first
		  to support general recursion and code
		  transmission. We then develop a communication-based
		  testing equivalences framework and show that one of
		  the equivalences captured by our framework coincides
		  with barbed congruence, the canonical notion of
		  process equivalence. Polarized SILL's operational
		  semantics is specified using a multiset rewriting
		  system. We introduce fairness for multiset rewriting
		  systems to ensure that our OCS is well-defined in
		  the presence of non-terminating processes, and use
		  fairness properties to simplify reasoning about
		  processes. This work lays the foundation for
		  observational reasoning for session-typed languages
		  with general recursion.},
  date =	 {2022-05},
  eid =		 104892,
  issn =	 {0890-5401},
  journaltitle = {Information and Computation},
  keywords =	 {Fairness, Multiset rewriting, Session types,
		  Observed communication semantics, Testing preorders,
		  Program equivalence},
  pagetotal =	 77,
}