G. Agha, P. Wegner, and A. Yonezawa. Research directions in concurrent object-oriented programming. The MIT Press, 1993.
Gul Agha and Fiorella de Cindio, editors. Object-Oriented Programming and Models of Concurrency. University of Torino, 1995. Workshop within “16th International Conference on Application and Theory of Petri Nets, Torino, Italy, June 26–30”.
Gul Agha and Fiorella de (Organizers) Cindio. The second workshop on object-oriented programming and models of concurrency within “the 17th international conference on applications and theory of petri nets osaka, june 24, 1996, http://wrcm.dsi.unimi.it/petrilab/ws96/home.html
Olivier Biberstein, Didier Buchs, and Nicolas Guelfi. Coopn/2: A concurrent object-oriented formalism. In Proc. Second IFIP Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pages 57–72, Canterbury, UK, March 1997. Chapman and Hall, London.
K. P. Birman. The Process Group Approach to Reliable Distributed Computing. Communications of the ACM, 36(12), December 1993.
S. Black. Objects and LOTOS. In S. Vuong, editor, Formal Description Techniques II (FORTE’89). North-Holland, 1990.
H. Boehm. Verifying and validating software requirements and design specifications. IEEE Software System Design
, 1(1):30–37, 1984.Google Scholar
G. Booch. Object-Oriented Design. Benjamin/Cummings Redwood City, CA, 2nd edition, 1993.
G. Booch and J. Rumbaugh. Unified method for object-oriented development. Teaching documentation set, Rational Software Corporation, Santa Clara, USA, 1997. Version 1.0.Google Scholar
Didier Buchs and Nicolas Guelfi. CO-OPN: A concurrent object-oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432–454, Aahrus, Denmark, June 1991.
D. Caromel. Toward a method of object-oriented concurrent programming. Communications of ACM
, 36(9):90–116, Sept. 1993.CrossRefGoogle Scholar
P. Casadessus. Conception et mise en oeuvre d’un noyau transactionnel dans un environnement parallèle. Thèse de doctorat, Université de Paris 6, Novembre 1994. 172 pages.
S. Chiba. Open C++ release 1.2 Programmer’s guide. Technical report, Department of Science, university of Tokyo, 1993.
G. Chiola, C. Dutheillet, G. Franceschinis, and Haddad S. On well-formed coloured nets and their symbolic reachability graph. In Application and Theory of Petri Nets 1990
, Lecture Notes in Computer Science. Springer-Verlag, June 1990.Google Scholar
S. Christensen and L. Petrucci. Towards a modular analysis of coloured Petri nets. In Proceedings of the International Conference on Application and Theory of Petri Nets. Springer-verlag, June 1992. Sheffield, UK.
R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Toplas
, 5(1):36–72, January 1993.CrossRefGoogle Scholar
P. Coad and E. Yourdon. Object Oriented Analysis. Prentice Hall, Inc., second edition, 1991.
J. C. Corbett. Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering, 22(3), March 1996.
E. Cusack, S. Rudkin, and C. Smith. An object-oriented interpretation of LOTOS. In S. Voung, editor, Formal Description Techniques II (FORTE’89). North-Holland, 1990.
E.W. Dijkstra. Hierarchical ordering of sequential processes. In C.A.R. Hoare and R.H. Perrot, editors, Operating Systems Techniques
. Academic Press, New York, 1972.Google Scholar
Stéephane Ducasse, Mireille Fornarino, and Anne-Marie Pinna. A Reflective Model for First Class Relationships. In Proceedings of OOPSLA’95, pages 265–280, 1995.
R. Duke, G. Rose, and G. Smith. Object-Z: A specification language advocated for the description of standards. Computer Standards and Interfaces
, 17:511–533, 1995.CrossRefGoogle Scholar
J. Rumbaugh et al. Object-Oriented Modeling and Design
. Prentice Hall International, Englewood Cliffs, NJ, 1991.Google Scholar
C. Fischer and G. Smith. CSP and Object-Z: Finite or infinite trace semantics. In Formal Description Techniques and Protocol Specification, Verification, and Testing (FORTE/PSTV’97). Chapman and Hall, 1997.
Svend Frolund. Constraint-Based Synchronization of Distributed Activities. PhD thesis, University of Illinois at Urbana-Champaign, 1994.
Joseph A. Goguen and José Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions, and partial operations. TCS: Theoretical Computer Science
, 105(2):217–273, 1992. (Also in technical report SRI-CSL-89-10 (1989), SRI International, Computer Science Lab).MATHCrossRefMathSciNetGoogle Scholar
J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, Inc., 1996.
J. Gray. Operating Systems: An Advanced Course
, chapter Notes on Database Operating Systems. LNCS Vol 60, Springer Verlag, 1978.MATHGoogle Scholar
J. Gray, editor. Transaction processing: concepts and techniques
. Morgan Kaufmann Publishers, San Francisco (California), 1993. 1070 pages.MATHGoogle Scholar
T. Haquet and B. Cazaux. Flo++ dépendances entre objets distants. Rapport de projet de fin d’étude, ESSI, 1997.
W. Harrison and H. Ossher. Subject-oriented programming (A critique of pure objects). In OOPSLA’93
, pages 411–428, Washington DC, October 1993. ACM SIGPLAN Notices Vol.28, n. 10.Google Scholar
C.A.R. Hoare. Monitors: An operating system structuring concept. Communications of the ACM, 12(10), October 1974.
Ian M. Holland. Specifying reusable components using Contracts. In O. Lehrmann Madsen, editor, Proceedings of ECOOP’92
, volume 615 of Lecture Notes in Computer Science
, pages 287–308. Springer-Verlag, 1992.Google Scholar
G. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Inc., 1991.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, AT&T Bell Laboratories, 1991.
J-M. Ilié and K. Ajami. “model checking through symbolic reachability graph. In Proceedings of CAAP’97. Springer Verlag, April 1997.
Ivar Jacobson, Magnus Christerson, Patrik Jonsson, and Gunnar Overgaard. Object-oriented Software Engineering; A Use Case Driven Approach
. Addison-Wesley, Wokingham, England, 1992.MATHGoogle Scholar
K. Jensen. Coloured Petri Nets: Volume 1; Basic Concepts, Analysis Methods and Practical Use
. EATCS Monographs on Theoretical Computer Science. Springer-Verlag, Berlin Heidelberg New York, 1992.MATHGoogle Scholar
Alain Karsenty. GroupDesign: un collecticiel synchrone pour l’édition partagée de documents
. PhD thesis, University of Paris XI Orsay, France, 1996.Google Scholar
Bent Bruun Kristensen. Object-oriented modeling with roles. In Proceedings of the 2nd International Conference on Object-Oriented Information Systems (OOIS’95), Dublin, Ireland, 1995.
K. Lano and H. Haughton, editors. Object-Oriented Specification Case Studies. Object-Oriented Series. Prentice-Hall, 1993.
Barbara H. Liskov and Janet M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems
, 16(6):1881–1841, November 1994.CrossRefGoogle Scholar
S. Maffeis. Run-Time Support for Object-Oriented Distributed Programming. PhD thesis, University of Zurich, February 1995.
T. Mayr. Specification of object-oriented systems in LOTOS. In K. Turner, editor, Formal Description Techniques (FORTE’ 88). North-Holland, 1989.
R. Milner. Communication and Concurrency. Prentice Hall International, 1989.
Robin Milner. The polyadic π-calculus: a tutorial. Technical Report ECS-LFCS-91-180, Laboratory for Foundations of Computer Science, Department of Computer Science, University of Edinburgh UK, October 1991. Also in Logic and Algebra of Specification, ed. F. L. Bauer, W. Brauer and H. Schwichtenberg, Springer-Verlag, 1993.
D. Moldt. Höhere Petrinetze als Grundlage für Systemspezifikationen
. Dissertation, Universität Hamburg, Fachbereich Informatik, Vogt-Kölln-Str. 30, 22527 Hamburg, Germany, August 1996.MATHGoogle Scholar
Sape Mullender. Distributed systems. ACM press, Frontier series, 1989.
T. Murata and M. Notomi. Hierarchical reachability graph of bounded nets for concurrent software analysis. Transactions IEEE on Software Engineering
, 5(20):325–336, 1994.Google Scholar
Oscar Nierstrasz. Regurlar types for active objects. In Object-Oriented Software Composition, chapter 4, pages 89–121. Prentice-Hall, 1995.
David Notkin, David Garlan, William G. Griswold, and Kevin Sullivan. Adding Implicit Invocation to Languages: Three Approaches. In Shojiro Nishio and Akinori Yonezawa, editors, First International Symposium on Object Technologies
, volume 742 of Lecture Notes in Computer Science
. ACM, October 1993.Google Scholar
Johan Van Oeyen, Stijn Bijnens, Wouter Joosen, Bert Robben, Frank Matthijs, and Pierre Verbaeten. A exible object support system as run-time for concurrent object-oriented languages. In Chris Zimmerman, editor, Advances in Object-Oriented Metalevel Architectures and Reflection. CRC Inc, May 1996.
R. Orfali, D. Harkey, and J. Edwards. The Essential Distributed Objects Survival Guide. J. Wiley & Sons, Inc., 1996.
Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. Technical report in preparation; available electronically, 1996.
Xavier Pintado. Gluons: a support for software component cooperation. In Shojiro Nishio and Akinori Yonezawa, editors, First International Symposium on Object Technologies
, volume 742 of Lecture Notes in Computer Science
, pages 43–60, 1993.Google Scholar
Franz Puntigam. Type specifications with processes. In Proc. of the 8
International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE’95), Montréal, Québec, Canada, October 1995. IFIP WG 6.1.
Franz Puntigam. Coordination requirements expressed in types for active objects. In Mehmet Aksit and Satoshi Matsuoka, editors, Proceedings ECOOP’ 97
, number 1241 in Lecture Notes in Computer Science, Jyväskylä, Finland, June 1997. Springer-Verlag.Google Scholar
Wolfgang Reisig. Petri nets and algebraic specifications. In Theoretical Computer Science
, volume 80, pages 1–34. Elsevier, 1991.MATHCrossRefMathSciNetGoogle Scholar
Bert Robben, Frank Piessens, and Wouter Joosen. Formalizing correlate-from practice to pi. In Proceedings of the BCS-FACS 2nd Northern Formal Methods Workshop
, 1997. To be published electronically by Springer-Verlag, http://www.springer.co.uk
J. Rumbaugh, M. Blaha, W. Premeralani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design
. Prentice Hall, Englewood Cliffs, New Jersey 07632, 1991.Google Scholar
J. Rumbaugh, M. Blaha, M. Premerlani, F. Eddy, and W. Sorenson. Object Oriented Modeling and Design. Prentice Hall, Inc., 1991.
G. Smith. A semantic integration of Object-Z and CSP for the specification of concurrent systems. In Formal Methods Europe (FME’97). Springer-Verlag, 1997.
G. Smith and J. Derrick. Refinement and verification of concurrent systems specified in Object-Z and CSP. In First IEEE International Conference on Formal Engineering Methods (ICFEM’97). IEEE Computer Society Press, 1997.
S. Stepney, R. Barden, and D. Cooper, editors. Object-Orientation in Z. Workshops in Computing. Springer-Verlag, 1992.
K.J. Sullivan and D. Notkin. Reconciling environment integration and software evolution. Transactions on Software Engineering and Methodology
, 1(3):228–268, July 1992.Google Scholar
A. Valmari. Compositional analysis with place-bordered sub-nets. In Proceedings of the International Conference on Application and Theory of Petri Nets. Springer-verlag, June 1994. Zaragoza, Spain.
Gert Weckx. Een gedistribueerde agenda. Master’s thesis, Dept. Computerscience, K. U. Leuven, 1995–1996.
Peter Wegner and S. Zdonik. Inheritance as an incremental modification mechanism or what like is and isn’t like. In Proceedings of ECOOP’88
, volume 322 of Lecture Notes in Computer Science
, pages 55–77, Oslo, Norway, 1988. Springer-Verlag.Google Scholar
C.H. West. Protocol validation by random state exploration. In Protocol Specification, Testing and Verification, VI
, pages 233–242. North-Holland, Amsterdam, 1986.Google Scholar
J. M. Wing. A specifier introduction to formal methods. IEEE Computer, 23, September 1990.