A brief history of process algebra

DOI10.1016/J.TCS.2004.07.036MaRDI QIDQ1781995zbMATH OpenOpenAlexFDO

Authors Jos C. M. Baeten

Publication date 10 June 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://research.tue.nl/nl/publications/a-brief-history-of-process-algebra(76252f00-0009-4f27-9e24-79af986cc846).html

zbMATH Keywords

Process algebraHistory

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Applications of Process Algebra
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 1412988
• Process Algebra
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra

Cites work

• scientific article; zbMATH DE number 1701760 (Why is no real title available?)
• scientific article; zbMATH DE number 4016181 (Why is no real title available?)
• scientific article; zbMATH DE number 3876566 (Why is no real title available?)
• scientific article; zbMATH DE number 5604093 (Why is no real title available?)
• scientific article; zbMATH DE number 3817014 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3688686 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3757705 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 3639136 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1361128 (Why is no real title available?)
• scientific article; zbMATH DE number 604884 (Why is no real title available?)
• scientific article; zbMATH DE number 1956598 (Why is no real title available?)
• scientific article; zbMATH DE number 3802792 (Why is no real title available?)
• scientific article; zbMATH DE number 1864587 (Why is no real title available?)
• scientific article; zbMATH DE number 1863157 (Why is no real title available?)
• scientific article; zbMATH DE number 795666 (Why is no real title available?)
• scientific article; zbMATH DE number 3894457 (Why is no real title available?)
• scientific article; zbMATH DE number 3246263 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• scientific article; zbMATH DE number 3423547 (Why is no real title available?)
• A Compositional Approach to Performance Modelling
• A Powerdomain Construction
• A Proof System for Communicating Sequential Processes
• A Theory of Communicating Sequential Processes
• A calculus of communicating systems
• A calculus of mobile processes. II
• A complete inference system for a class of regular behaviours
• A structural approach to operational semantics
• A timed model for communicating sequential processes
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• Algebraic process verification.
• Algèbre de processus et synchronisation
• An axiomatic basis for computer programming
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Applications of Process Algebra
• Axiomatizing probabilistic processes: ACP with generative probabilities
• Branching time and abstraction in bisimulation semantics
• Calculi for interaction
• Calculi for synchrony and asynchrony
• Communicating sequential processes
• Concurrent Processes and Their Syntax
• Flowgraphs and Flow Algebras
• Guarded commands, nondeterminacy and formal derivation of programs
• Handbook of process algebra
• Hybrid process algebra
• Kronos: A verification tool for real-time systems
• Mobile ambients
• Process Algebra
• Process algebra for hybrid systems
• Process algebra for synchronous communication
• Process algebra with timing
• Processes and the denotational semantics of concurrency
• Programming languages and their definition. Selected papers ed. by C. B. Jones
• Real time process algebra
• Structural operational semantics.
• The algebra of timed processes, ATP: Theory and application
• The algorithmic analysis of hybrid systems
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• The origins of structural operational semantics
• Uppaal in a nutshell
• Verification on infinite structures.
• Verifying properties of parallel programs

Cited in

(40)

• Independence abstractions and models of concurrency
• Processes with local and global liveness requirements
• Algebraic and fixed point equations over inverse limits of algebras
• Concurrencies in reversible concurrent calculi
• A process calculus for privacy-preserving protocols in location-based service systems
• scientific article; zbMATH DE number 7449992 (Why is no real title available?)
• A symbolic investigation of superspreaders
• The correctness of concurrencies in (reversible) concurrent calculi
• An axiomatization for quantum processes to unifying quantum and classical computing
• Entanglement in quantum process algebra
• Formal verification for KMB09 protocol
• Probabilistic process algebra to unifying quantum and classical computing in closed systems
• Declarative programming with algebra
• SAT-based verification for timed component connectors
• Using process algebra to develop predator-prey models of within-host parasite dynamics
• Process algebra having inherent choice: revised semantics for concurrent systems
• Formal Enforcement of Security Policies on Parallel Systems with Risk Integration
• Encoding CSP into CCS
• CCS with Hennessy's merge has no finite-equational axiomatization
• From individuals to populations: a mean field semantics for process algebra
• scientific article; zbMATH DE number 7453962 (Why is no real title available?)
• Intensional couplings in variable-structure models: an exploration based on multilevel-DEVS
• Causal Unfoldings
• Concurrent algorithm for integrating three-dimensional B-spline functions into machines with shared memory such as GPU
• Coupled similarity: the first 32 years
• Formal enforcement of security policies on concurrent systems
• Logical inference by DNA strand algebra
• From symbolic constraint automata to Promela
• Logic of simultaneity
• Reconciling real and stochastic time: the need for probabilistic refinement
• On linear logic planning and concurrency
• Multiphysics modelling of immune processes using distributed parameter systems
• Planning-based knowing how: a unified approach
• Hume box calculus: Robust system development through software transformation
• Algebra and logic for resource-based systems modelling
• Reasoning about resources in the embedded systems language Hume
• Quantum process algebra with priorities
• Fractals from regular behaviours
• In memoriam: Carl Adam Petri
• Сравнительный логический анализ субстанциальной и процессуальной онтологий

Describes a project that uses

Uses Software

• Concurrency Workbench
• CADP
• Uppaal

This page was built for publication: A brief history of process algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1781995)