A parallel machine for multiset transformation and its programming style
Future Generation Computer Systems
Reasoning about continuous systems
Science of Computer Programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Topological models for boundary representation: a comparison with n-dimensional generalized maps
Computer-Aided Design - Beyond solid modelling
Functional programming with bananas, lenses, envelopes and barbed wire
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
One-way cellular automata on Cayley graphs
Theoretical Computer Science
ESOP '94 Selected papers of ESOP '94, the 5th European symposium on Programming
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Science of Computer Programming
A framework for the recursive definition of data structures
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
ACM Computing Surveys (CSUR)
The topological structures of membrane computing
Fundamenta Informaticae - Membrane computing
PSLS '95 Proceedings of the International Workshop on Parallel Symbolic Languages and Systems
Invariance and Contraction by Infinite Iterations of Relations
Research Directions in High-Level Parallel Programming Languages
Data Structure as Topological Spaces
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
Gamma and the Chemical Reaction Model: Fifteen Years After
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
Advanced Functional Programming, Second International School-Tutorial Text
Declarative definition of group indexed data structures and approximation of their domains
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Geometry and concurrency: a user's guide
Mathematical Structures in Computer Science
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
A domain specific language for complex natural and artificial systems simulations
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
Interaction based simulation of dynamical system with a dynamical structure (DS)2 in MGS
Proceedings of the 2011 Summer Computer Simulation Conference
UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
Hi-index | 0.00 |
The emergence of terms like natural computing, mimetic computing, parallel problem solving from nature, bio-inspired computing, neurocomputing, evolutionary computing, etc., shows the never ending interest of the computer scientists for the use of “natural phenomena” as “problem solving devices” or more generally, as a fruitful source of inspiration to develop new programming paradigms. It is the latter topic which interests us here. The idea of numerical experiment can be reversed and, instead of using computers to simulate a fragment of the real world, the idea is to use (a digital simulation of) the real world to compute. In this perspective, the processes that take place in the real world are the objects of a new calculus: description of the world's laws = program state of the world = data of the program parameters of the description = inputs of the program simulation = the computation