<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

From CCS to CSP: the m-among-n Synchronisation Approach

descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Conference object 06 Sep 2022Embargo end date: 01 Jan 2022 Ireland Publisher:Open Publishing AssociationJournal:Electronic Proceedings in Theoretical Computer Science, volume 368, pages 60-74 (eissn: 2075-2180,

Authors: Ekembe Ngondi, Gerard; Koutavas, Vasileios; Butterfield, Andrew;

doi: 10.4204/eptcs.368.4 , 10.48550/arxiv.2209.05232

arXiv: http://arxiv.org/abs/2209.05232

handle: 2262/102303

From CCS to CSP: the m-among-n Synchronisation Approach

- Summary
- Subjects
- Related research
  (1)
- Metrics

Abstract

We present an alternative translation from CCS to an extension of CSP based on m-among-n synchronisation (called CSPmn). This translation is correct up to strong bisimulation. Unlike the g-star renaming approach ([4]), this translation is not limited by replication (viz., recursion with no nested parallel composition). We show that m-among-n synchronisation can be implemented in CSP based on multiway synchronisation and renaming.

In Proceedings EXPRESS/SOS 2022, arXiv:2208.14777

Country

Ireland

Related Organizations

Keywords

FOS: Computer and information sciences, Computer Science - Logic in Computer Science, D.3.1, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, Formal Methods, Logic in Computer Science (cs.LO), FORMAL VERIFICATION, F.3.2;D.3.1, F.3.2, CONCURRENCY THEORY, Formal Semantics

1 Research products, page 1 of 1

ccs2csp software on GitHub
IsRelatedTo

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average