@inproceedings{SOS22,
  title         = {Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus},
  author        = {Clément Aubert and Ross Horne and Christian Johansen},
  note          = {Invited Paper},
  editor        = {Valentina Castiglioni and Mezzina, Claudio A.},
  booktitle     = {Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics (EXPRESS/SOS 2022), Warsaw, Poland, 12th September 2022},
  series        = {Electronic Proceedings in Theoretical Computer Science},
  volume        = {368},
  pages         = {3--22},
  doi           = {10.4204/EPTCS.368.1},
  year          = {2022}
}