Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 217,275,345 papers from all fields of science
Search
Sign In
Create Free Account
Process calculus
Known as:
Process calculi
, Hybrid Process Algebra
, Sequential composition
Expand
In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
45 relations
Actor model
Actor model and process calculi
Algebra of Communicating Processes
Ambient calculus
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2003
Highly Cited
2003
Edinburgh Research Explorer A Calculus of Mobile Processes, I
R. Milner
,
J. Parrow
,
David Walker
2003
Corpus ID: 31508937
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing…
Expand
Review
2003
Review
2003
Business Process Management: A Survey
Wil M.P. van der Aalst
,
A. Hofstede
,
M. Weske
International Conference on Business Process…
2003
Corpus ID: 9730665
Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and…
Expand
Highly Cited
2003
Highly Cited
2003
A Petri Net-based Model for Web Service Composition
Rachid Hamadi
,
B. Benatallah
Australasian Database Conference
2003
Corpus ID: 5488873
The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of…
Expand
Highly Cited
2001
Highly Cited
2001
A Logic for Abstract State Machines
R. Stärk
,
Stanislas Nanchen
Journal of universal computer science (Online)
2001
Corpus ID: 11014744
We introduce a logic for sequential, non distributed Abstract State Machines. Unlike other logics for ASMs which are based on…
Expand
Highly Cited
1997
Highly Cited
1997
A formal basis for architectural connection
Robert Allen
,
D. Garlan
TSEM
1997
Corpus ID: 326385
As software systems become more complex, the overall system structure—or software architecture—becomes a central design problem…
Expand
Highly Cited
1996
Highly Cited
1996
A compositional approach to performance modelling
J. Hillston
1996
Corpus ID: 1420174
1. Introduction 2. Background 3. Performance evaluation process algebra 4. Modelling study: multi-server multi-queue systems 5…
Expand
Highly Cited
1992
Highly Cited
1992
A Calculus of Mobile Processes, II
R. Milner
,
J. Parrow
,
D. Walker
Information and Computation
1992
Corpus ID: 39498365
Highly Cited
1989
Highly Cited
1989
A Calculus of Mobile Processes, Part I
David Walker
1989
Corpus ID: 17166120
We present the -calculus, a calculus of communicating systems in which one can naturally express processes which have changing…
Expand
Highly Cited
1984
Highly Cited
1984
Process Algebra for Synchronous Communication
J. Bergstra
,
J. Klop
Information and Control
1984
Corpus ID: 12003364
Highly Cited
1974
Highly Cited
1974
Structured Programming with go to Statements
D. Knuth
CSUR
1974
Corpus ID: 207630080
For serious students of structured programming, and also for language designers, Knuth's "Structured Programming with go to…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE