2000 character limit reached
The Nature of Concurrency (2304.04406v2)
Published 10 Apr 2023 in cs.LO
Abstract: We try to clarify the relationship between interleaving concurrency and true concurrency, based on the very recent work on truly concurrent process algebra, especially, giving models of true concurrency, such as event structure, Petri net and concurrent Kleene algebra, (truly concurrent) process algebra foundations.
Collections
Sign up for free to add this paper to one or more collections.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.