A calculus of mobile processes, I
Information and Computation
Mobile Agents: Are They a Good Idea?
MOS '96 Selected Presentations and Invited Papers Second International Workshop on Mobile Object Systems - Towards the Programmable Internet
The origin of concurrent programming
ACM SIGPLAN Notices
SP 800-19. Mobile Agent Security
SP 800-19. Mobile Agent Security
Countermeasures for mobile agent security
Computer Communications
Patterns for programming in parallel, pedagogically
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Separation Logic Semantics for Communicating Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Session-Based Distributed Programming in Java
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
The Pi-ADL.NET project: an inclusive approach to ADL compiler design
WSEAS Transactions on Computers
Communications of the ACM - Security in the Browser
Multicore Scheduling for Lightweight Communicating Processes
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Alloy: fast generic transformations for Haskell
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
BlenX Static and Dynamic Semantics
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Exploiting a generic approach for constructing mobile device applications
Proceedings of the Fourth International ICST Conference on COMmunication System softWAre and middlewaRE
The engineering of concurrent simulations of complex systems
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Birds on the wall: distributing a process-oriented simulation
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Mobile processes, mobile channels and complex dynamic systems
CEC'09 Proceedings of the Eleventh conference on Congress on Evolutionary Computation
Checking process-oriented operating system behaviour using CSP and refinement
ACM SIGOPS Operating Systems Review
Santa Claus: Formal analysis of a process-oriented solution
ACM Transactions on Programming Languages and Systems (TOPLAS)
Checking process-oriented operating system behaviour using CSP and refinement
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
PLAZZMID: an evolutionary agent-based architecture inspired by Bacteria and Bees
ECAL'07 Proceedings of the 9th European conference on Advances in artificial life
Meta-simulation of large WSN on multi-core computers
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Application of CoSMoS parallel design patterns to a pedestrian simulation
PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part II
Parallel computing with the Pi-calculus
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Scribbling interactions with a formal foundation
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
The best of most worlds: shared objects for multilingual simulation
Proceedings of the 9th Workshop on Parallel/High-Performance Object-Oriented Scientific Computing
An architecture for modelling emergence in CA-Like systems
ECAL'05 Proceedings of the 8th European conference on Advances in Artificial Life
Multicore scheduling for lightweight communicating processes
Science of Computer Programming
PiStache: implementing π-calculus in scala
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Occam-pi for programming of massively parallel reconfigurable architectures
International Journal of Reconfigurable Computing
Grand challenge 7: journeys in non-classical computation
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Molecule: using monadic and streaming I/O to compose process networks on the JVM
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
To boldly go: an occam-π mission to engineer emergence
Natural Computing: an international journal
Hi-index | 0.00 |
This paper introduces occam-π, an efficient and safe binding of key elements from Hoare's CSP and Milner's π-calculus into a programming language of industrial strength. A brief overview of classical occam is presented, before focussing on the extensions providing data, channel and process mobility. Some implementation details are given, along with current benchmark results. Application techniques exploiting mobile processes for the direct modelling of large-scale natural systems are outlined, including the modelling of locality (so that free-ranging processes can locate each other). Run-time overheads are sufficiently low so that systems comprising millions of dynamically assembling and communicating processes are practical on modest processor resources. The ideas and technology will scale further to address larger systems of arbitrary complexity, distributed over multiple processors with no semantic discontinuity. Semantic design, comprehension and analysis are made possible through a natural structuring of systems into multiple levels of network and the compositionality of the underlying algebra.