Pages that link to "Item:Q1781995"

The following pages link to A brief history of process algebra (Q1781995):

Displaying 38 items.

• SAT-based verification for timed component connectors (Q433331) (← links)
• A symbolic investigation of superspreaders (Q542018) (← links)
• From individuals to populations: a mean field semantics for process algebra (Q633693) (← links)
• Hume box calculus: Robust system development through software transformation (Q656858) (← links)
• Processes with local and global liveness requirements (Q1007234) (← links)
• On linear logic planning and concurrency (Q1041042) (← links)
• Algebraic and fixed point equations over inverse limits of algebras (Q1177146) (← links)
• Quantum process algebra with priorities (Q1700843) (← links)
• CCS with Hennessy's merge has no finite-equational axiomatization (Q1763725) (← links)
• Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
• An axiomatization for quantum processes to unifying quantum and classical computing (Q2010952) (← links)
• Probabilistic process algebra to unifying quantum and classical computing in closed systems (Q2010969) (← links)
• Entanglement in quantum process algebra (Q2010982) (← links)
• Formal verification for KMB09 protocol (Q2010986) (← links)
• Concurrencies in reversible concurrent calculi (Q2097423) (← links)
• Concurrent algorithm for integrating three-dimensional B-spline functions into machines with shared memory such as GPU (Q2160412) (← links)
• From symbolic constraint automata to Promela (Q2168790) (← links)
• Coupled similarity: the first 32 years (Q2182667) (← links)
• Planning-based knowing how: a unified approach (Q2238589) (← links)
• Formal enforcement of security policies on concurrent systems (Q2275899) (← links)
• Logic of simultaneity (Q2390846) (← links)
• Using process algebra to develop predator-prey models of within-host parasite dynamics (Q2635001) (← links)
• A process calculus for privacy-preserving protocols in location-based service systems (Q2669244) (← links)
• Declarative Programming with Algebra (Q2798283) (← links)
• Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems (Q2871829) (← links)
• Formal Enforcement of Security Policies on Parallel Systems with Risk Integration (Q2947076) (← links)
• Independence Abstractions and Models of Concurrency (Q2961560) (← links)
• (Q3385647) (← links)
• Reasoning About Resources in the Embedded Systems Language Hume (Q3460507) (← links)
• Algebra and logic for resource-based systems modelling (Q3643362) (← links)
• Logical Inference by DNA Strand Algebra (Q4598042) (← links)
• (Q5013872) (← links)
• (Q5020944) (← links)
• Сравнительный логический анализ субстанциальной и процессуальной онтологий (Q5061417) (← links)
• Intensional Couplings in Variable-Structure Models (Q5270660) (← links)
• Causal Unfoldings (Q5875372) (← links)
• Multiphysics modelling of immune processes using distributed parameter systems (Q6067791) (← links)
• The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)