- 1 Abadi, M. and Gordon, A.D. (1997), A calculus for cryptographic protocols: the spi calculus. Proc. 4th ACM Conference on Computer and Communications Security, ACM Press, 36-47.]] Google ScholarDigital Library
- 2 Berry, G. and Boudol, G. (1992), The chemical abstract machine. Journal of Theoretical Computer Science, Vol 96, pp217-248.]] Google ScholarDigital Library
- 3 Cardelli, L. and Gordon, A.D. (2000), Mobile ambients. Foundations of System Specification and Computational Structures, LNCS 1378, 140-155.]] Google ScholarDigital Library
- 4 Cattarti, G.L., Leifer, J.J. and Milner, R. (2000),. Contexts and Embeddings for dosed shallow action graphs. University of Cambridge Computer Laboratory, Technical Report 496. {Submitted for publication. Available at http://www.cam.cl, ac.uk/usors/jj121 .]]Google Scholar
- 5 Fournet, C. and Gonthier, G. (1996), The reflexive Chain and the join calculus. Proc. 23rd Annual ACM Symposium on Principles of Programming Languages, Florida, pp372-385.]] Google ScholarDigital Library
- 6 Gardner, P.A. and Wischik, L.G. (2000), Explicit fusions. Proc. MFCS 2000. LNCS 1893.]] Google ScholarDigital Library
- 7 Lafont, Y. (1990), Interaction nets. Proc. 17th ACM Symposium on Principles of Programming Languages (POPL 90), pp95-108.]] Google ScholarDigital Library
- 8 Leifer, J.J. and Milner, R. (2000), Deriving bisimulation congruences for reactive systems. Proc. CONCUR2000. {Available at http : //www. cam. el. ac. uk/users /j j 121 .}]] Google ScholarDigital Library
- 9 Milner, R. (1979), Flowgraphs and Flow Algebras. Journal of ACM, 26,4,1979, pp794-818.]] Google ScholarDigital Library
- 10 Milner, R. (1996), Calculi for interaction. Acta Informatica 33, 707-737.]]Google ScholarDigital Library
- 11 Milner, R., Parrow, J. and Walker D. (1992), A calculus of mobile processes, Parts I and II. Journal of Information and Computation, Vol 100, ppl-40 and pp41-77.]] Google ScholarDigital Library
- 12 Parrow, J. and Victor, B. (1998), The fusion calculus: expressiveness and symmetry in mobile processes. Proc. LICS'98, IEEE Computer Society Press.]] Google ScholarDigital Library
- 13 Petri, C.A. (1962), Fundamentals of a theory of asynchronous information flow. Proc. IFIP Congress '62, Noah Holland, pp386-390.]]Google Scholar
- 14 Pierce, B.C. and Turner, D.N. (2000), Pict: A programruing language based on the pi-calculus. In Proof Language and Interaction: Essays in Honour of Robin Milner, ed. G.D.Plotkin, C.P.Stirling and M.Tofte, MIT Press, pp455- 494.]] Google ScholarDigital Library
- 15 Wadsworth, C.E (1971), Semantics and pragmatics of the lambda-calculus. Dissertation, Oxford University.]]Google Scholar
- 16 Wojciechowski, ET. and Sewell, P. (1999), Nomadic Pict: Language and infrastructure design for mobile agents. Proc. ASA/MA '99, Palm Springs, California.]] Google ScholarDigital Library
Index Terms
- Computational flux
Recommendations
A New Direct-Drive Induction Flux Modulation Motor
2020 International Conference on Electrical Machines (ICEM)The flux modulation motor has gained interest in the past decade. Its main features are a low-speed operation and a high torque density due to the magnetic gearing effect, making this motor suitable for direct-drive applications. Most of researches are ...
Extended Speed Range Control of Axial Flux Ironless PMSM using Current-Source Inverter
Axial flux ironless permanent magnetic synchronous motor AFIPMSM is a new permanent magnetic motor. It has many advantages, such as little volume, low mass, low lost, high power density, no cogging torque, and the sinusoidal back EMF. It gradually ...
Low inductance axial flux BLDC motor drive for more electric aircraft
AERO '11: Proceedings of the 2011 IEEE Aerospace ConferenceAs the aircraft technology is moving towards more electric architecture, use of electric motors in aircraft is increasing.12 Axial-flux BLDC motors are becoming popular in aero application because of their ability to meet the demand of light weight, ...
Comments