@InProceedings{kavanagh_2020:_subst_obser_commun_seman,
  author =	 {Kavanagh, Ryan},
  title =	 {Substructural Observed Communication Semantics},
  pages =	 {69-87},
  doi =		 {10.4204/EPTCS.322.7},
  abstract =	 {Session-types specify communication protocols for
		  communicating processes, and session-typed languages
		  are often specified using substructural operational
		  semantics given by multiset rewriting systems. We
		  give an observed communication semantics for a
		  session-typed language with recursion, where a
		  process's observation is given by its external
		  communications. To do so, we introduce fair
		  executions for multiset rewriting systems, and
		  extract observed communications from fair process
		  executions. This semantics induces an intuitively
		  reasonable notion of observational equivalence that
		  we conjecture coincides with semantic equivalences
		  induced by denotational semantics, bisimulations,
		  and barbed congruences for these languages.},
  crossref =	 {dardha_rot_2020:_proceed},
  date =	 {2020-08-27},
}

@Proceedings{dardha_rot_2020:_proceed,
  _checked =	 {2020-08-31},
  _source =	 {ev},
  date =	 {2020-08-27},
  doi =		 {10.4204/eptcs.322},
  editor =	 {Dardha, Ornela and Rot, Jurriaan},
  eventdate =	 {2020-08-31},
  eventtitle =	 {Combined 27th International Workshop on
		  Expressiveness in Concurrency and 17th Workshop on
		  Structural Operational Semantics},
  eventtitleaddon ={EXPRESS/SOS 2020},
  issn =	 {2075-2180},
  pagetotal =	 105,
  series =	 {Electronic Proceedings in Theoretical Computer
		  Science},
  title =	 {Proceedings},
  venue =	 {Online},
  number =	 322,
}