AbstractIn this paper the methodology of some theories of concurrency (mainly CCS and CSP) is analysed, focusing on the following topics: the representation of processes, the identification issue, and the treatment of nondeterminism, communication, recursion, abstraction, divergence and deadlock behaviour. Process algebra turns out to be a useful instrument for comparing the various theories
AbstractModels for concurrency can be classified with respect to three relevant parameters: behaviou...
This paper presents a new semantics of ACPτ, the Algebra of Communicating Processes with abstraction...
Abstract. CSP is a powerful language to specify complex concurrent systems. Due to the non-determini...
AbstractIn this paper the methodology of some theories of concurrency (mainly CCS and CSP) is analys...
AbstractThe original theoretical model of Communicating Sequential Processes owed its inspiration to...
AbstractThis note addresses the history of process algebra as an area of research in concurrency the...
AbstractThe original CSP was a language for parallel imperative programs communicating by synchroniz...
AbstractProcess algebra has been successful in many ways; but we don't yet see the lineaments of a f...
AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...
A simple domain theory for concurrency is presented. Based on a categorical model of linear logic an...
In this report we review the current state of concurrency theory with respect to its industrial impa...
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start ...
International audienceThis essay offers an overview of basic aspects and central development in Conc...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
Over the past fifteen years, there has been intensive study of formal systems that can model concurr...
AbstractModels for concurrency can be classified with respect to three relevant parameters: behaviou...
This paper presents a new semantics of ACPτ, the Algebra of Communicating Processes with abstraction...
Abstract. CSP is a powerful language to specify complex concurrent systems. Due to the non-determini...
AbstractIn this paper the methodology of some theories of concurrency (mainly CCS and CSP) is analys...
AbstractThe original theoretical model of Communicating Sequential Processes owed its inspiration to...
AbstractThis note addresses the history of process algebra as an area of research in concurrency the...
AbstractThe original CSP was a language for parallel imperative programs communicating by synchroniz...
AbstractProcess algebra has been successful in many ways; but we don't yet see the lineaments of a f...
AbstractThis paper illustrates how early ideas and simple naive concepts of concurrency theory of th...
A simple domain theory for concurrency is presented. Based on a categorical model of linear logic an...
In this report we review the current state of concurrency theory with respect to its industrial impa...
This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start ...
International audienceThis essay offers an overview of basic aspects and central development in Conc...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
Over the past fifteen years, there has been intensive study of formal systems that can model concurr...
AbstractModels for concurrency can be classified with respect to three relevant parameters: behaviou...
This paper presents a new semantics of ACPτ, the Algebra of Communicating Processes with abstraction...
Abstract. CSP is a powerful language to specify complex concurrent systems. Due to the non-determini...
DOI
Add to ORKG