Journeys in non-classical computation I: A grand challenge for computing research

DOI10.1080/17445760500033291zbMath1109.68361DBLPjournals/paapp/StepneyBCTASAJTWMP05OpenAlexW2163444423WikidataQ60473845 ScholiaQ60473845MaRDI QIDQ5492115

No author found.

Publication date: 13 October 2006

Published in: International Journal of Parallel, Emergent and Distributed Systems (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/14350/1/journeys.pdf

Mathematics Subject Classification ID

Distributed systems (68M14)

Related Items (10)

Unconventional algorithms: complementarity of axiomatics and construction ⋮ Natural/unconventional computing and its philosophical significance ⋮ Cellular automata modelling of slime mould actin network signalling ⋮ The neglected pillar of material computation ⋮ \(p\)-adic physics, non-well-founded reality and unconventional computing ⋮ MANIPULATING PLANAR SHAPES WITH A LIGHT-SENSITIVE EXCITABLE MEDIUM: COMPUTATIONAL STUDIES OF CLOSED-LOOP SYSTEMS ⋮ Accelerating machines: a review ⋮ Systemic computation: A model of interacting systems with natural characteristics ⋮ Glider-based computing in reaction-diffusion hexagonal cellular automata ⋮ Cellular automata-based systems with fault-tolerance

Uses Software

• HOL

Cites Work

• Results on the propositional \(\mu\)-calculus
• The chemical abstract machine
• A calculus of mobile processes. I
• Self-organization and associative memory.
• Mobile ambients
• The calculi of emergence: Computation, dynamics and induction
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• A Theory of Communicating Sequential Processes
• Cellular Automata Modeling of Physical Systems
• Proof of a program
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Journeys in non-classical computation I: A grand challenge for computing research