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
Generalized Semantics-Based Service Composition
Service-oriented computing (SOC) has emerged as the eminent market environment for sharing and reusing service-centric… 
Highly Cited
2008
Highly Cited
2008
State-Aware Performance Analysis with eXtended Stochastic Probes
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite… 
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… 
Review
2006
Review
2006
Attacks on PKM Protocols of IEEE 802.16 and Its Later Versions
Without physical boundaries, a wireless network faces many more vulnerabilities than a wired network does. IEEE 802.16 provides a… 
2005
2005
Executable Semantics for Compensating CSP
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process… 
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… 
1999
1999
Towards Probabilistic Unification-Based Parsing
This thesis is about natural language parsing with corpus-based grammars that are enriched with statistics. Parsing is the… 
Highly Cited
1997
Highly Cited
1997
Analysing the behaviour of distributed software architectures: a case study
A software architecture is the overall structure of a system in terms of its constituent components and their interconnections… 
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)