Computational flux

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2001, Pages 220-221

  Milner, R ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; FLOWCHARTING; GRAPHIC METHODS; MATHEMATICAL MODELS;

COMPUTATIONAL FLUX; GRAPHICAL MODEL;

MOBILE COMPUTING;

EID: 0035030218     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/360204.360222     Document Type: Conference Paper

References (16)

1. A calculus for cryptographic protocols: The spi calculus
2. The chemical abstract machine
3. Mobile ambients. Foundations of system specification and computational structures
4. Contexts and embeddings for closed shallow action graphs
5. The reflexive cham and the join calculus
6. Explicit fusions
7. Interaction nets
8. Deriving bisimulation congruences for reactive systems
9. Flowgraphs and flow algebras
10. Calculi for interaction
11. A calculus of mobile processes, parts I and II
12. The fusion calculus: Expressiveness and symmetry in mobile processes
13. Fundamentals of a theory of asynchronous information flow
14. Pict: A programming language based on the pi-calculus
15. Semantics and pragmatics of the lambda-calculus
16. Nomadic pict: Language and infrastructure design for mobile agents