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.
2008
2008
OpenSESAME - the simple but extensive, structured availability modeling environment
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… 
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
Deductive Semantics of RTPA
Deductive semantics is a novel software semantic theory that deduces the semantics of a program in a given programming language… 
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… 
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… 
Review
2001
Review
2001
Security for Mobility
We show how to use static analysis to provide information about security issues related to mobility. First the syntax and… 
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… 
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)