轨迹上的偏序集洗牌（技术报告）
Shuffling posets on trajectories (technical report)
AI总结：
本文融合编排语言与偏序模型两条研究路线，探讨轨迹上的洗牌算子应用于单个偏序集，并刻画了洗牌后仍为单个偏序集的条件。
摘要：
编排描述了多个智能体之间可能的交互序列。我们旨在融合两条关于编排的研究路线：利用轨迹上的洗牌算子设计更具表达力的编排语言，以及利用具有偏序特征的模型来紧凑地表示智能体之间的并发性。具体而言，本文探讨了将轨迹上的洗牌算子应用于单个偏序集，并给出了再次生成单个偏序集的偏序集洗牌的特征刻画。
英文摘要：
Choreographies describe possible sequences of interactions among a set of agents. We aim to join two lines of research on choreographies: the use of the shuffle on trajectories operator to design more expressive choreographic languages, and the use of models featuring partial orders, to compactly represent concurrency between agents. Specifically, in this paper, we explore the application of the shuffle on trajectories operator to individual posets, and we give a characterisation of shuffles of posets which again yield an individual poset.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
