A brief history of process algebra
From MaRDI portal
Publication:1781995
DOI10.1016/J.TCS.2004.07.036zbMATH Open1080.68072OpenAlexW2101206446MaRDI QIDQ1781995FDOQ1781995
Recommendations
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 (39)
- 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
- Title not available (Why is no real title available?)
- A symbolic investigation of superspreaders
- The correctness of concurrencies in (reversible) concurrent calculi
- Declarative programming with algebra
- 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
- 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
- Title not available (Why is no real title available?)
- From individuals to populations: a mean field semantics for process algebra
- 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
- Multiphysics modelling of immune processes using distributed parameter systems
- Logic of simultaneity
- Reconciling real and stochastic time: the need for probabilistic refinement
- On linear logic planning and concurrency
- Planning-based knowing how: a unified approach
- Algebra and logic for resource-based systems modelling
- Reasoning about resources in the embedded systems language Hume
- Hume box calculus: Robust system development through software transformation
- Quantum process algebra with priorities
- In memoriam: Carl Adam Petri
- Сравнительный логический анализ субстанциальной и процессуальной онтологий
- Independence abstractions and models of concurrency
Uses Software
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)
