참고문헌
- R. J. Anderson, P. Beame, S. Burns, W. Chan, F. Modugno, D. Notkin, and J. D. Reese, 'Model Checking Large Software Specifications,' in Proc. the Forth ACM SIGSOFT Symposium on the Foundation of SE, pp. 156-166, 1996
- W. Athas and C. Seitz, 'Cantor User Report Version 2.0,' Technical Report 5232:TR86, California Institute of Technology, Pasadena, CA, Jan. 1987
- G. Agha, S. Frolund, W. Kim, R. Panwar, A. Patterson, and D. Sturman, 'Abstraction and Modularity Mechanisms for Concurrent Computing,' in IEEE Parallel and Distributed Technology: Systems and Applications, 1(2):3-14, May 1993 https://doi.org/10.1109/88.218170
- G. Agha, 'Actors: A Model of Concurrent Computation in Distributed Systems,' MIT Press, 1986
- R. Alur, T.H. Henzinger, and P.H. Ho, 'Automatic Symbolic Verification of Embedded Systems,' IEEE Transactions of Software Engineering, 22(3): 181-201, 1996 https://doi.org/10.1109/32.489079
-
J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang, 'Symbolic model checking :
$10^{20}$ states and beyond,' Information and Computation, 98(2):142-171, 1992 https://doi.org/10.1016/0890-5401(92)90017-A - P. Cousot and R. Cousot, 'Abstract interpretation frameworks,' in Journal of Logic and Computation, 2(4):511-547, Aug., 1992 https://doi.org/10.1093/logcom/2.4.511
- E.M. Clarke, E.A. Emerson, and A.P. Sisla, 'Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications,' ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986 https://doi.org/10.1145/5397.5399
- J. C. Corbett, 'Constructing Compact Models of Concurrent Java Programs,' in Proc. ISSTA 98, 1998 https://doi.org/10.1145/271771.271778
- G. Duval, 'Specification and Verification of an Object Request Broker,' in Proc. ICSE 98, 1998
- H. Eriksson and M. Penker, UML Toolkit, John Willey and Sons, Inc., 1998
- S. Frolund and G. Agha, 'A Language Framework for Multi-Object Coordination,' in Lecture Notes in Computer Science 627, 1993
- P. Godefroid, 'Partial-Order Methods for the Verification of Concurrent Systems,' Lecture Notes in Computer Science 1032, Springer-Verlag, 1996
- C. Hewitt, 'Viewing Control Structures as Patterns of Passing Messages,' in Journal of Artificial Intelligence, 8(3):323-364, 1977 https://doi.org/10.1016/0004-3702(77)90033-9
- G. Holzmann, 'Design and Validation of Computer Protocols,' New Jersey, 1991, Prentice Hall
- G. Holzmann, 'The Model Checker SPIN,' IEEE Transactions on Software Engineering, Vol. 23, No. 5, pp. 279-295, May 1997 https://doi.org/10.1109/32.588521
- W. Kim, 'THAL: An Actor Ststem for Efficient and Scalable Concurrent Computing,' Ph.D Thesis, Univ. of Illinois at Urbana-Champaign, 1997
- D. Kafura, M. Mukherji, and G. Lavender, 'ACT++: A Class Library for Concurrent Programming in C++ Using Actors,' in Jounal of Object-Oriented Programming, Oct. 1993
- H. Lieberman, 'Concurrent Object-Oriented Programming In ACT1,' In Object-Oriented Concurrent programming, MIT Press, Cambridge, MA,1987
- E. Najm and F. Olsen, 'Reactive EFSMs, Reactive PROMELA/RSPIN,' in Proc. Tools and Algorithms for the Construction and Analysis of Systems, (TACA96), pp. 349-368, LNCS 1055, Springer-Verlag, Mar. 1996
- M. Staskauskas, 'Tales from the Front: Industrial Experience with Formal Validation,' in Proc. First SPIN Workshop, INRS Quebec, Canada, Oct. 1995
- S. Tripakis and C. Courcoubetis, 'Extending PROMELA and SPIN for real-time,' in Proc. Tools and Algorithms for the Construction and Analysis of Systems, (TACA96), pp. 329-348, LNCS 1055, Springer-Verlag, Mar. 1996
- C. Weise, 'An incremental formal semantics for PROMELA,' in Proc. Third Spin workshop, Apr., 1997
- P. Wegner, 'Concepts and Paradigms of Object-Oriented Programming,' {\it ACM OOPS Massenger}, Aug., 1990 https://doi.org/10.1145/382192.383004
- A. Yonezawa, 'ABCL An Object-Oriented Concurrent Systems,' MIT Press, Cambridge, Mass., 1990