M. Abadi, C. Flanagan, and S. N. Freund, Types for safe locking, ACM Transactions on Programming Languages and Systems, vol.28, issue.2, pp.207-255, 2006.
DOI : 10.1145/1119479.1119480

G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, 1986.

W. Ahrendt, B. Beckert, and R. Bubel, Deductive Software Verification -The KeY Book -From Theory to Practice, volume 10001 of Lecture Notes in Computer Science, pp.978-981, 2016.

A. Al-fuqaha, M. Guizani, M. Mohammadi, M. Aledhari, and M. Ayyash, Internet of Things: A Survey on Enabling Technologies, Protocols, and Applications, IEEE Communications Surveys & Tutorials, vol.17, issue.4, pp.2347-2376, 2015.
DOI : 10.1109/COMST.2015.2444095

E. Albert, A. E. Flores-montoya, and S. Genaim, Analysis of May-Happen-in-Parallel in Concurrent Objects, pp.35-51, 2012.
DOI : 10.1007/978-3-642-30793-5_3
URL : https://hal.archives-ouvertes.fr/hal-01528735

F. E. Allen, Control flow analysis, Proceedings of a Symposium on Compiler Optimization, pp.1-19, 1970.

B. Amedro, D. Caromel, F. Huet, V. Bodnartchouk, C. Delbé et al., HPC in Java: Experiences in Implementing the NAS Parallel Benchmarks, APPLIED INFORMATICS AND COMMUNIC- ATIONS URL, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00504630

R. Ameur-boulifa, L. Henrio, O. Kulankhina, E. Madelaine, and A. Savu, Behavioural semantics for asynchronous components Journal of Logical and Algebraic Methods in Programming, pp.1-40, 2017.

D. Ancona, V. Bono, M. Bravetti, J. Campos, G. Castagna et al., Behavioral Types in Programming Languages, Foundations and Trends?? in Programming Languages, vol.3, issue.2-3, pp.95-230, 2016.
DOI : 10.1561/2500000031
URL : https://hal.archives-ouvertes.fr/hal-01348054

L. Baduel, F. Baude, and D. Caromel, Object-oriented SPMD, CCGrid 2005. IEEE International Symposium on Cluster Computing and the Grid, 2005., pp.824-831, 2005.
DOI : 10.1109/CCGRID.2005.1558647

L. Baduel, F. Baude, D. Caromel, A. Contes, F. Huet et al., Composing, Deploying for the Grid, Grid Computing: Software Environments and Tools, chapter Programming, pp.205-229, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00486114

C. Baier and J. Katoen, Principles of Model Check- ing

. G. Henry, C. Baker-jr, and . Hewitt, The incremental garbage collection of processes, Proc. Symp. on Artificial Intelligence and Programming Languages, pp.55-59, 1977.

F. Baude, L. Henrio, and C. Ruz, Programming distributed and adaptable autonomous components?the gcm/proactive framework. Software: Practice and Experience, pp.1189-1227, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01001043

B. Beckert, R. Hähnle, and P. H. Schmitt, Verification of Objectoriented Software: The KeY Approach, 2007.

S. Bensalem and K. Havelund, Dynamic deadlock analysis of multithreaded programs, Proceedings of the First Haifa International Conference on Hardware and Software Verification and Testing, HVC'05, pp.208-223, 2006.

A. Philip, S. Bernstein, and . Bykov, Developing cloud services using the orleans virtual actor model, IEEE Internet Computing, vol.20, issue.5, pp.71-75, 2016.

N. Bezirgiannis and F. Boer, Proceedings, chapter ABS: A High-Level Modeling Language for Cloud-Aware Programming, pp.433-444978, 2016.

K. Birman and T. Joseph, Exploiting virtual synchrony in distributed systems, Proceedings of the Eleventh ACM Symposium on Operating Systems Principles, SOSP '87, pp.123-138, 1987.

V. Frank-de-boer, R. Serbanescu, L. Hähnle, J. Henrio, C. Rochas et al., A survey of active object languages, ACM Comput. Surv, vol.5076, issue.5, pp.1-76, 2017.

A. Bouajjani and M. Emmi, Analysis of recursively parallel programs, Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '12, pp.203-214
URL : https://hal.archives-ouvertes.fr/hal-00639351

C. Boyapati, R. Lee, and M. Rinard, Ownership types for safe programming: Preventing data races and deadlocks, Proceedings of the 17th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA '02, pp.211-230, 2002.

S. Brandauer, E. Castegren, D. Clarke, K. Fernandez-reyes, E. Broch-johnsen et al., Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication , and Software Systems Advanced Lectures, chapter Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore, pp.1-56978, 2015.

S. Bykov, A. Geller, G. Kliot, J. R. Larus, R. Pandya et al., Orleans, Proceedings of the 2nd ACM Symposium on Cloud Computing, SOCC '11, 2011.
DOI : 10.1145/2038916.2038932

R. Carlsson and H. Millroth, On cyclic process dependencies and the verification of absence of deadlocks in reactive systems, 1997.

D. Caromel, C. Delbé, A. Di-costanzo, and M. Leyton, ProActive: an integrated platform for programming and running applications on Grids and P2P systems, Computational Methods in Science and Technology, vol.12, issue.1, pp.69-77, 2006.
DOI : 10.12921/cmst.2006.12.01.69-77
URL : https://hal.archives-ouvertes.fr/hal-00125034

D. Caromel and L. Henrio, A Theory of Distributed Objects, 2005.

D. Caromel, L. Henrio, and B. P. Serpette, Asynchronous and deterministic objects, Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.123-134, 2004.

E. Castegren and T. Wrigstad, Reference capabilities for concurrency control, Proceedings of 30th European Conference on Object-oriented Programming, 2016.

D. Clarke, T. Wrigstad, J. Johan¨ostlund, and E. Johnsen, Minimal Ownership for Active Objects, Proceedings of the 6th Asian Symposium on Programming Languages and Systems, APLAS '08, pp.139-154, 2008.
DOI : 10.1145/960112.28722

E. G. Coffman, M. Elphick, and A. Shoshani, System Deadlocks, ACM Computing Surveys, vol.3, issue.2, pp.67-78, 1971.
DOI : 10.1145/356586.356588

E. Melvin and . Conway, Design of a separable transition-diagram compiler, Commun. ACM, vol.6, issue.7, pp.396-408, 1963.

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590

P. Cousot and R. Cousot, Systematic design of program analysis frameworks, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, pp.269-282, 1979.
DOI : 10.1145/567752.567778

A. Crespo, J. A. , V. Carbó, and M. Garcia-valls, Resource management for mobile operating systems based on the active object model, Computer Systems Science and Engineering, vol.28, issue.4, pp.225-235, 2013.

B. A. Davey and H. A. Priestley, Introduction to Lattices and Order, 2002.
DOI : 10.1017/CBO9780511809088

S. Frank, D. De-boer, E. Clarke, and . Johnsen, A complete guide to the future, Proceedings of the 16th European Conference on Programming, pp.316-330, 2007.

S. Frank, M. De-boer, I. Bravetti, M. Grabe, M. Lee et al., A Petri Net Based Analysis of Deadlocks for Active Objects and Futures, pp.110-127

J. Dedecker, T. Van-cutsem, S. Mostinckx, T. D. Hondt, and W. D. Meuter, Ambient-oriented programming in ambienttalk, Proceedings of the 20th European Conference on Object-Oriented Programming, pp.230-254, 2006.

C. Chang-din, R. Bubel, and R. Hähnle, Automated Deduction -CADE-25ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS, 25th International Conference on Automated Deduction Proceedings, chapter KeY, pp.517-526, 2015.

C. Chang-din, S. L. Tapia-tarifa, R. Hähnle, and E. Johnsen, Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, Proceedings, chapter History-Based Specification and Verification of Scalable Concurrent and Distributed Systems, pp.217-233, 2015.

M. Dowson, The Ariane 5 software failure, ACM SIGSOFT Software Engineering Notes, vol.22, issue.2, p.84, 1997.
DOI : 10.1145/251880.251992

D. Engler and K. Ashcraft, Racerx: Effective, static detection of race conditions and deadlocks, Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, SOSP '03, pp.237-252, 2003.

J. Erickson, M. Musuvathi, S. Burckhardt, and K. Olynyk, Effective data-race detection for the kernel, Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation, OSDI'10, pp.151-162, 1924954.

K. Fernandez-reyes, D. Clarke, and D. S. Mccain, ParT: An Asynchronous Parallel Abstraction for Speculative Pipeline Computations, Coordination Models and Languages -18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques Proceedings, volume 9686 of Lecture Notes in Computer Science, pp.101-120, 2016.
DOI : 10.1006/inco.1994.1093
URL : https://hal.archives-ouvertes.fr/hal-01631723

C. Flanagan and M. Felleisen, The semantics of future and an application, Journal of Functional Programming, vol.9, issue.1, pp.1-31, 1999.
DOI : 10.1017/S0956796899003329

C. Flanagan and M. Felleisen, The semantics of future and its use in program optimization, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.209-220, 1995.
DOI : 10.1145/199448.199484

C. Flanagan and S. N. Freund, Fasttrack: Efficient and precise dynamic race detection, Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '09, pp.121-133, 2009.

C. Flanagan and S. Qadeer, A type and effect system for atomicity, Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, PLDI '03, pp.338-349, 2003.

R. Saxe and . Stata, Extended static checking for java, Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, PLDI '02, pp.234-245, 2002.

E. Giachino and C. Laneve, A Beginner???s Guide to the DeadLock Analysis Model, pp.49-63978, 2013.
DOI : 10.1007/978-3-642-41157-1_4

E. Giachino and C. Laneve, Deadlock Detection in Linear Recursive Programs, pp.26-64, 2014.
DOI : 10.1137/0201010
URL : https://hal.archives-ouvertes.fr/hal-01091747

E. Giachino, N. Kobayashi, and C. Laneve, Deadlock Analysis of Unbounded Process Networks, pp.63-77978, 2014.
DOI : 10.1007/978-3-662-44584-6_6
URL : https://hal.archives-ouvertes.fr/hal-01091749

E. Giachino, C. Laneve, and M. Lienhardt, A framework for deadlock detection in core abs. Software & Systems Modeling, pp.1-36, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01229046

E. Giachino, L. Henrio, C. Laneve, and V. Mastandrea, Actors may synchronize, safely!, Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP '16, pp.118-131
DOI : 10.1007/11817949_16
URL : https://hal.archives-ouvertes.fr/hal-01345315

A. Gkolfi, C. Chang-din, M. Einar-broch-johnsen, I. C. Steffen, and . Yu, Translating Active Objects into Colored Petri Nets for Communication Analysis, Proc. FSEN 2017, Lecture Notes in Computer Science
DOI : 10.1007/978-3-642-69968-9

B. Goetz, T. Peierls, J. Bloch, J. Bowbeer, D. Holmes et al., Java Concurrency in Practice, 2006.

A. Göransson, Efficient Android Threading: Asynchronous Processing Techniques for Android Applications

P. Haller, On the integration of the actor model in mainstream technologies, Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! '12, pp.1-6, 2012.
DOI : 10.1145/2414639.2414641

P. Haller and M. Odersky, Scala Actors: Unifying thread-based and event-based programming, Theoretical Computer Science, vol.410, issue.2-3, pp.202-220, 2009.
DOI : 10.1016/j.tcs.2008.09.019

R. H. Halstead and J. , MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems, vol.7, issue.4, pp.501-538, 1985.
DOI : 10.1145/4472.4478

R. T. Hammel and D. K. Gifford, Fx-87 performance measurements: Dataflow implementation, 1988.

J. W. Havender, Avoiding deadlock in multitasking systems, IBM Systems Journal, vol.7, issue.2, pp.74-84, 1968.
DOI : 10.1147/sj.72.0074

L. Henrio and F. Kammüller, Multiactive objects: Formalisation of the semantics with multiasp, 2015. URL http://www-sop.inria.fr/members/ Ludovic

L. Henrio, M. U. Khan, N. Ranaldo, and E. Zimeo, First Class Futures: Specification and Implementation of Update Strategies, Proceedings of the 2010 Conference on Parallel Processing, pp.295-303, 2010.
DOI : 10.1145/1103845.1094845
URL : https://hal.archives-ouvertes.fr/inria-00544594

L. Henrio, O. Kulankhina, and E. Madelaine, Integrated Environment for Verifying and??Running Distributed Components, Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016), 2016.
DOI : 10.1007/978-3-319-07602-7_10
URL : https://hal.archives-ouvertes.fr/hal-01303557

L. Henrio, C. Laneve, and V. Mastandrea, Analysis of Synchronisations in Stateful Active Objects, pp.195-210978
DOI : 10.1007/978-3-540-74792-5_5
URL : https://hal.archives-ouvertes.fr/hal-01627866

C. Hewitt, P. Bishop, and R. Steiger, A universal modular actor formalism for artificial intelligence, Proceedings of the 3rd International Joint BIBLIOGRAPHY Conference on Artificial Intelligence, IJCAI'73, pp.235-245, 1973.

R. Hickey, Agents and asynchronous actions. URL https://clojure.org/ reference/agents

A. Igarashi and N. Kobayashi, A generic type system for the Pi-calculus, ACM SIGPLAN Notices, vol.36, issue.3, pp.128-141, 2001.
DOI : 10.1145/373243.360215

E. Broch, J. , and O. Owe, An asynchronous communication model for distributed concurrent objects, pp.35-58, 2007.

O. Einar-broch-johnsen, M. Owe, and . Arnestad, Combining active and reactive behavior in concurrent objects, Proc. of the Norwegian Informatics Conference (NIK'03), pp.193-204, 2003.

O. Einar-broch-johnsen, I. C. Owe, and . Yu, Creol: A type-safe object-oriented model for distributed concurrent systems, Theoretical Computer Science, vol.365, issue.1-2, pp.23-66, 2006.
DOI : 10.1016/j.tcs.2006.07.031

R. Einar-broch-johnsen, R. Hähnle-schäfer, M. Schlatte, and . Steffen, ABS: A core language for abstract behavioral specification, Proc. 9th Intl. Symp. on Formal Methods for Components and Objects (FMCO), pp.142-164, 2011.

R. Einar-broch-johnsen, R. Hähnle-schäfer, M. Schlatte, and . Steffen, Abs: A core language for abstract behavioral specification, Proceedings of the 9th International Conference on Formal Methods for Components and Objects, pp.142-164978, 2011.

B. Kasikci, C. Zamfir, and G. Candea, Data races vs. data race bugs: Telling the difference with portend, Proceedings of the Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XVII, pp.185-198

E. Kerfoot, S. Mckeever, and F. Torshizi, Deadlock freedom through object ownership, International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming, IWACO '09, pp.1-3, 2009.
DOI : 10.1145/1562154.1562157

A. Gary and . Kildall, A unified approach to global program optimization, Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL '73, pp.194-206, 1973.

J. C. King, Symbolic execution and program testing, Communications of the ACM, vol.19, issue.7, pp.385-394, 1976.
DOI : 10.1145/360248.360252

N. Kobayashi, A partially deadlock-free typed process calculus, ACM Transactions on Programming Languages and Systems, vol.20, issue.2, pp.436-482, 1998.
DOI : 10.1145/276393.278524

N. Kobayashi, A New Type System for Deadlock-Free Processes, pp.233-247
DOI : 10.1007/11817949_16

N. Kobayashi and C. Laneve, Deadlock analysis of unbounded process networks Information and Computation, pp.48-70, 2017.

V. Kuznetsov, J. Kinder, S. Bucur, and G. Candea, Efficient state merging in symbolic execution, Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, pp.193-204

R. , G. Lavender, and D. C. Schmidt, Pattern languages of program design 2. chapter Active Object: An Object Behavioral Pattern for Concurrent Programming, pp.483-499, 1996.

M. Lesani and A. Lain, Semantics-preserving sharing actors, Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control, AGERE! '13, pp.69-80, 2013.
DOI : 10.1145/2541329.2541332
URL : http://www.cs.ucla.edu/~lesani/companion/agere13/Paper.pdf

N. G. Leveson and C. S. Turner, An investigation of the Therac-25 accidents, Computer, vol.26, issue.7, pp.18-41, 1993.
DOI : 10.1109/MC.1993.274940

J. M. Lucassen and D. K. Gifford, Polymorphic effect systems, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '88, pp.47-57, 1988.
DOI : 10.1145/73560.73564
URL : http://pag.lcs.mit.edu/reading-group/lucassen88effects.pdf

K. Ma, K. Y. Phang, J. S. Foster, and M. Hicks, Directed Symbolic Execution, Proceedings of the 18th International Conference on Static Analysis, pp.95-111, 2011.
DOI : 10.1145/1755913.1755946
URL : http://www.cs.umd.edu/%7Ejfoster/papers/sas11.pdf

M. Peter, T. Mell, and . Grance, The nist definition of cloud computing, 2011.

A. Milanova, A. Rountev, and B. G. Ryder, Parameterized object sensitivity for points-to analysis for Java, ACM Transactions on Software Engineering and Methodology, vol.14, issue.1, pp.1-41, 2005.
DOI : 10.1145/1044834.1044835

M. S. Miller, E. D. Tribble, and J. Shapiro, Concurrency Among Strangers, Proceedings of the 1st International Conference on Trustworthy Global Computing, TGC'05, pp.195-229, 2005.
DOI : 10.1007/11580850_12

B. Morandi, S. S. Bauer, and B. Meyer, SCOOP ??? A Contract-Based Concurrent Object-Oriented Programming Model, Advanced Lectures on Software Engineering, pp.41-90, 2010.
DOI : 10.1007/s00165-008-0073-8

A. Møller and M. I. Schwartzbach, Static program analysis

S. Narayanasamy, Z. Wang, J. Tigani, A. Edwards, and B. Calder, Automatically classifying benign and harmful data races using replay analysis. SIGPLAN Not, pp.22-31, 2007.

H. B. Robert, B. P. Netzer, and . Miller, Improving the accuracy of data race detection, SIGPLAN Not, vol.26, issue.7, pp.133-144, 1991.

J. Niehren, J. Schwinghammer, and G. Smolka, A concurrent lambda calculus with futures, Theoretical Computer Science, vol.364, issue.3, pp.338-356, 2006.
DOI : 10.1016/j.tcs.2006.08.016
URL : https://hal.archives-ouvertes.fr/inria-00090434

J. Niehren, D. Sabel, M. Schmidt-schauß, and J. Schwinghammer, Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures, 23rd Conference on Mathematical Foundations of Programming Semantics, 2007.
DOI : 10.1016/j.entcs.2007.02.041
URL : https://hal.archives-ouvertes.fr/inria-00128861

K. Pun, behavioural static analysis for deadlock detection, Faculty of Mathematics and Natural Sciences

F. Puntigam and C. Peter, Types for active objects with static deadlock prevention. Fundam. Inf, pp.315-341, 2001.

H. G. Rice, Classes of recursively enumerable sets and their decision problems. Transactions of the, pp.358-366, 1953.

S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, Eraser, ACM SIGOPS Operating Systems Review, vol.31, issue.5, pp.27-37, 1997.
DOI : 10.1145/269005.266641

J. Schäfer and A. Poetzsch-heffter, JCoBox: Generalizing Active Objects to Concurrent Components, Proceedings of the 24th European Conference on Object-oriented Programming, pp.275-299, 2010.
DOI : 10.1007/978-3-642-14107-2_13

V. Serbanescu, K. Azadbakht, F. De-boer, C. Nagarajagowda, and B. Nobakht, A design pattern for optimizations in data intensive applications using abs and java 8. Concurrency and Computation: Practice and Experience, pp.374-385, 2016.

M. Staats and C. P?as?areanup?as?p?as?areanu, Parallel symbolic execution for structural test generation, Proceedings of the 19th international symposium on Software testing and analysis, ISSTA '10, pp.183-194
DOI : 10.1145/1831708.1831732

J. Staunstrup, H. R. Andersen, H. Hulgaard, J. Lind-nielsen, K. G. Larsen et al., Practical verification of embedded software, Computer, vol.33, issue.5, pp.68-75, 2000.
DOI : 10.1109/2.841786

K. Taura, S. Matsuoka, and A. Yonezawa, ABCL/f: A future-based polymorphic typed concurrent object-oriented language-Its design and implementation, Proceedings of the DIMACS workshop on Specification of Parallel Algorithms, pp.275-292, 1994.
DOI : 10.1090/dimacs/018/18

F. Vasco-thudichum-vasconcelos, T. Martins, and . Cogumbreiro, Type inference for deadlock detection in a multithreaded polymorphic typed assembly language, Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, pp.95-109, 2009.

W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.203-232, 2003.
DOI : 10.1109/ASE.2000.873645

J. W. Voung, R. Jhala, and S. Lerner, RELAY, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.205-214, 2007.
DOI : 10.1145/1287624.1287654

S. West, S. Nanz, and B. Meyer, A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model, pp.597-612, 2010.
DOI : 10.1145/265924.265927

A. Wollrath, R. Riggs, and J. Waldo, A distributed object model for the javatm system, Proceedings of the 2Nd Conference on USENIX Conference on Object-Oriented Technologies (COOTS) -Volume, pp.17-17, 1996.

A. Yonezawa, J. Briot, and E. Shibayama, Object-oriented concurrent programming abcl/1 Languages and Applications, OOPLSA '86, Conference Proceedings on Object-oriented Programming Systems, pp.258-268, 1986.

. List, C. Acronyms, and .. Control-flow-graphs, 35 FIFO First In First Out, p.11

J. Java-virtual-machine and .. , 25 RMI Remote Method Invocation, 23 SIMD Single Instruction Multiple Data, p.24