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)

Related topics

Related topics

45 relations
Actor modelActor model and process calculiAlgebra of Communicating ProcessesAmbient calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
Analysis of distributed systems with mCRL2
ion An important notion in process algebra is that of abstraction. Usually the requirements of a system are defined in terms of… 
2007
2007
Name-passing process calculi : operational models and structural operational semantics
rule induction. Together, an abstract rule of this form and a U-structured B-coalgebra, (X ,h : UX → BUX ), provide parameterised… 
2007
2007
On Relating and Integrating Two Trust Management Frameworks
2007
2007
Palladio - Prediction of Performance Properties
Palladio is a component modelling approach with a focus on performance (i.e. response time, throughput, resource utilisation… 
2006
2006
Modeling Web service composition using symbolic transition systems
Web services are software entities which provide a set of functionalities that can be accessed over the Web. In general, the… 
2003
2003
A process algebraic reduction strategy for automata theoretic verification of untimed and timed concurrent systems
Highly Cited
2002
Highly Cited
2002
Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation
We address the problem of minimizing labelled transition systems for name passing calculi. We show how the co-algebraic… 
1997
1997
Real-time concepts for a formal specification language for software hardware systems
Increasingly complex systems are being designed that consist of concurrently operating and communicating processes, often… 
1994
1994
Stars or Stripes: a comparative study of finite and transfinite techniques for surface modelling
Reduction and Topology, p. 28. Non Interleaving Process Algebra, p. 17. Design and Analysis of Dynamic Leader Election Protocols… 
1991
1991
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
A system is described which supports proofs of both behavioural and logical properties of concurrent systems; these are specified… 
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)