Sorting realization of well-ordered sets based on π-calculus

DOI10.3233/JIFS-169282zbMath1375.68046MaRDI QIDQ4597732

Rong Zhu, Hao Bu, Xiaoqiong Tan, Shihong Chen

Publication date: 14 December 2017

Published in: Journal of Intelligent & Fuzzy Systems (Search for Journal in Brave)

zbMATH Keywords

sortingmobile computing\(\pi\)-calculuscinema algorithmkey change algorithm

Mathematics Subject Classification ID

Searching and sorting (68P10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Sorting realization of well-ordered sets based on π-calculus