Skip to search formSkip to main contentSkip to account menu

Process calculus

Known as: Process calculi, Hybrid Process Algebra, Sequential composition 
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2003
Highly Cited
2003
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… 
Review
2003
Review
2003
Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and… 
Highly Cited
2003
Highly Cited
2003
The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of… 
Highly Cited
2001
Highly Cited
2001
We introduce a logic for sequential, non distributed Abstract State Machines. Unlike other logics for ASMs which are based on… 
Highly Cited
1997
Highly Cited
1997
As software systems become more complex, the overall system structure—or software architecture—becomes a central design problem… 
Highly Cited
1996
Highly Cited
1996
1. Introduction 2. Background 3. Performance evaluation process algebra 4. Modelling study: multi-server multi-queue systems 5… 
Highly Cited
1992
Highly Cited
1989
Highly Cited
1989
We present the -calculus, a calculus of communicating systems in which one can naturally express processes which have changing… 
Highly Cited
1974
Highly Cited
1974
For serious students of structured programming, and also for language designers, Knuth's "Structured Programming with go to…