{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T05:16:30Z","timestamp":1739078190254,"version":"3.37.0"},"reference-count":84,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1998,12,1]],"date-time":"1998-12-01T00:00:00Z","timestamp":912470400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1998,12]]},"DOI":"10.1007\/bf03037429","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T02:51:25Z","timestamp":1240541485000},"page":"343-372","source":"Crossref","is-referenced-by-count":1,"title":["A LOTOS based tutorial on formal methods for object-oriented distributed systems"],"prefix":"10.1007","volume":"16","author":[{"given":"Howard","family":"Bowman","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF03037429_CR1","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/49.481699","volume":"14","author":"A. F. Ates","year":"1996","unstructured":"Ates, A. F., Bilgic, M., Saito, S., and Sarikaya, B., \u201cUsing Timed CSP for Specification, Verification and Simulation of Multimedia Synchronization,\u201dIEEE Journal on Selected Area in Communications, 14, pp. 126\u2013137, 1996.","journal-title":"IEEE Journal on Selected Area in Communications"},{"key":"BF03037429_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R. and Dill, D., \u201cA Theory of Timed Automata,\u201dTheoretical Computer Science, pp. 183\u2013235, 1994.","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"BF03037429_CR3","doi-asserted-by":"crossref","unstructured":"Agha, G.Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, 1986.","DOI":"10.7551\/mitpress\/1086.001.0001"},{"issue":"10","key":"BF03037429_CR4","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1145\/97946.97966","volume":"25","author":"P. America","year":"1990","unstructured":"America, P., \u201cA Parallel Object-Oriented Language with Inheritance and Subtyping,\u201dSIGPLAN Notices, 25, 10, pp. 161\u2013168, October 1990.","journal-title":"SIGPLAN Notices"},{"issue":"1","key":"BF03037429_CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1988","unstructured":"Bolognesi, T. and Brinksma, E., \u201cIntroduction to the ISO Specification Language LOTOS,\u201dComputer Networks and ISDN Systems, 14, 1, pp. 25\u201359, 1988.","journal-title":"Computer Networks and ISDN Systems"},{"key":"BF03037429_CR6","unstructured":"Blair, G.S., Blair, L., Bowman, H., and Chetwynd, A.,Formal Specification of Distributed Multimedia Systems, University College Longon Press, September 1997."},{"key":"BF03037429_CR7","doi-asserted-by":"crossref","unstructured":"Bowman, H., Boiten, E.A., Derrick, J., and Steen, M., \u201cViewpoint Consistency in ODP, A General Interpretation,\u201d inFirst IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems (E. Najm and J.-B. Stefani, eds.), Paris, Chapman & Hall, pp. 189\u2013204, March 1996.","DOI":"10.1007\/978-0-387-35082-0_14"},{"key":"BF03037429_CR8","doi-asserted-by":"crossref","unstructured":"Boiten, E., Bowman, H., Derrick, J., and Steen, M., \u201cViewpoint Consistency in Z and LOTOS: A Case Study,\u201d inFME\u201997: Industrial Applications and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science (J. Fitzgerald, C.B. Jones, and P. Lucas, eds.), Springer-Verlag, pp. 644\u2013664, September 1997.","DOI":"10.1007\/3-540-63533-5_34"},{"key":"BF03037429_CR9","doi-asserted-by":"crossref","unstructured":"Bowman, H., Briscoe-Smith, C., Derrick, J., and Strulo, B., \u201cOn Behavioural Subtyping in LOTOS,\u201d inFMOODS\u201997, 2nd IFIP Conference on Formal Methods for Open Object Based Distributed Systems (H. Bowman and J. Derrick, eds.), Chapman and Hall, July 1997.","DOI":"10.1007\/978-0-387-35261-9_23"},{"key":"BF03037429_CR10","doi-asserted-by":"crossref","unstructured":"Boiten, E., Derrick, J., Bowman, H., and Steen, M., \u201cConsistency and Refinement for Partial Specification in Z,\u201d inFME\u201996: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science (M.-C. Gaudel and J. Woodcock, eds.), Springer-Verlag, pp. 287\u2013306, March 1996.","DOI":"10.1007\/3-540-60973-3_93"},{"key":"BF03037429_CR11","doi-asserted-by":"crossref","unstructured":"Bernardeschi, C., Dustzadeh, J., Fantechi, A., Najm, E., Nimour, A., and Olsen, F., \u201cTransformations and Consistent Semantics for ODP Viewpoints,\u201d inFMOODS\u201997, 2nd IFIP Conference on Formal Methods for Open Object Based Distributed Systems (H. Bowman and J. Derrik, eds.), Chapman and Hall, July 1997.","DOI":"10.1007\/978-0-387-35261-9_25"},{"issue":"1","key":"BF03037429_CR12","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1049\/sej.1996.0005","volume":"11","author":"H. Bowman","year":"1996","unstructured":"Bowman, H., Derrick, J., Linington, P., and Steen, M., \u201cCross Viewpoint Consistency in Open Distributed Processing,\u201dIEE Software Engineering Journal, 11, 1, pp. 44\u201357, January 1996.","journal-title":"IEE Software Engineering Journal"},{"key":"BF03037429_CR13","doi-asserted-by":"crossref","unstructured":"Bowman, H., Faconti, G., and Massink, M., \u201cSpecification and Verification of Media Constraints Using UPPAAL,\u201d in5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Eurographics Book Series, Springer-Verlag, 1998.","DOI":"10.1007\/978-3-7091-3693-5_17"},{"key":"BF03037429_CR14","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0020-0190(92)90008-J","volume":"43","author":"M. Boreale","year":"1992","unstructured":"Boreale, M., Inverardi, P., and Nesi, M., \u201cComplete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences,\u201dInformation Processing Letters, 43, pp. 155\u2013160, 1992.","journal-title":"Information Processing Letters"},{"key":"BF03037429_CR15","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0920-5489(94)90002-7","volume":"16","author":"T. Bolognesi","year":"1994","unstructured":"Bolognesi, T., Lucidi, F., and Trigila, S., \u201cConverging towards a Timed LOTOS Standard,\u201dComputer Standards and Interfaces, 16, pp. 87\u2013118, 1994.","journal-title":"Computer Standards and Interfaces"},{"key":"BF03037429_CR16","unstructured":"Booch, G.,Object-Oriented Analysis and Design, The Benjamin\/Cummings Publishing Company, Inc., 1994."},{"key":"BF03037429_CR17","unstructured":"Brinksma, E. and Scollo, G., \u201cFormal Notions of Implementation and Conformance in LOTOS,\u201dTechnical Report, INF-86-13, Department of Informatics, Twente University of Technology, 1986."},{"key":"BF03037429_CR18","unstructured":"Blair G.S. and Stefani, J.-B.,Open Distributed Processing and Multimedia, Addison-Wesley, 1997."},{"key":"BF03037429_CR19","unstructured":"Bowman, H., Steen, M.W.A., Boiten, E.A., and Derrick, J., \u201cA Formal Framework for Viewpoint Consistency,\u201dTechnical Report, submitted for publication, 1996."},{"key":"BF03037429_CR20","first-page":"349","volume-title":"Protocol Specification, Testing and Verification, VI","author":"E. Brinksma","year":"1986","unstructured":"Brinksma, E., Scollo, G., and Steenbergen, C., \u201cProcess Specification, Their Implementation and Their Tests,\u201d inProtocol Specification, Testing and Verification, VI (B. Sarikaya and G. v. Bochmann, eds.), Montreal, Canada, North-Holland, pp. 349\u2013360, June 1986."},{"key":"BF03037429_CR21","unstructured":"TINA C, Telecommunications information networking architecture, 1997. WWW: http:\/\/www.tinac.com\/."},{"key":"BF03037429_CR22","doi-asserted-by":"crossref","unstructured":"Daws, C., Olivero, A., Tripakis, S., and Yovine, S., \u201cThe Toll KRONOS,\u201d inHybrid Systems III, Verification and Control, LNCS 1066, Springer-Verlag, 1996.","DOI":"10.1007\/BFb0020947"},{"key":"BF03037429_CR23","unstructured":"CCITT Z. 100,Specification and Description Language SDL, June 1994."},{"key":"BF03037429_CR24","doi-asserted-by":"crossref","unstructured":"Cook, W.R., Hill, W.L., and Canning, P.S., \u201cInheritance Is Not Subtyping,\u201d in17th ACM Symposium on Principles of Programming Languages, ACM, pp. 125\u2013135, 1990.","DOI":"10.1145\/96709.96721"},{"key":"BF03037429_CR25","unstructured":"Cusack, E., Rudkin, S., and Smith, C., \u201cAn Object Oriented Interpretation of LOTOS,\u201d inProceedings 2nd International Conference on Formal Description Techniques (FORTE\u201989), North-Holland, December 1989."},{"key":"BF03037429_CR26","unstructured":"CSP, The CSP archive, 1997. Oxford Programming Research Group, http:\/\/www. comlab.ox.ac.uk\/archive\/csp.html."},{"key":"BF03037429_CR27","first-page":"399","volume-title":"First IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems","author":"J. Derrick","year":"1996","unstructured":"Derrick, J., Boiten, E.A., Bowman, H., and Steen, M., \u201cSupporting ODP\u2014Translating LOTOS to Z,\u201d inFirst IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems (E. Najm and J.-B. Stefani, eds.), Paris, Chapman & Hall, pp. 399\u2013406, March 1996."},{"key":"BF03037429_CR28","doi-asserted-by":"crossref","unstructured":"Ehrig, H. and Mahr, B.,Fundamentals of Algebraic Specification, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"issue":"8","key":"BF03037429_CR29","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1109\/32.310667","volume":"20","author":"A.C.W. Finkelstein","year":"1994","unstructured":"Finkelstein, A.C.W., Gabbay, D., Hunter, A., Kramer, J., and Nuseibeh, B., \u201cInconsistency Handling in Multiperspective Specifications,\u201dIEEE Transactions on Software Engineering, 20, 8, pp. 569\u2013578, August 1994.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"BF03037429_CR30","unstructured":"Farooqui, K. and Logrippo, L., \u201cViewpoint Transformations,\u201d in2nd International IFIP TC6 Conference on Open Distributed Processing (J. de Meer, B. Mahr, and O. Spaniol, eds.), Berlin, Germany, pp. 352\u2013362, September 1993."},{"key":"BF03037429_CR31","doi-asserted-by":"crossref","unstructured":"Fischer, S. and Leue, S., \u201cFormal Methods for Broadband and Multimedia Systems,\u201dComputer Networks and ISDN Systems, Special Issue on Trends in Formal Description Techniques and Their Applications, to appear, 1998.","DOI":"10.1016\/S0169-7552(97)00132-3"},{"key":"BF03037429_CR32","unstructured":"Hennessy, M.,Algebraic Theory of Processes, MIT Press, 1988."},{"key":"BF03037429_CR33","doi-asserted-by":"crossref","unstructured":"Hernalsteen, C., \u201cA Timed Automaton Model for ET-LOTOS Verification,\u201d inFormal Description Techniques and Protocol Specification, Testing and Verification, 1997, Chapman and Hall, 1997.","DOI":"10.1007\/978-0-387-35271-8_12"},{"key":"BF03037429_CR34","doi-asserted-by":"crossref","unstructured":"Hillston, J.,A Compositional Approach to Performance Modelling, Cambridge University Press, 1996. Distinguished Dissertations in Computer Science.","DOI":"10.1017\/CBO9780511569951"},{"key":"BF03037429_CR35","doi-asserted-by":"crossref","unstructured":"Hoare, C. A. R.,Communicating Sequential Processes, Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"BF03037429_CR36","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J., \u201cThe Model Checker SPIN,\u201dIEEE Transactions on Software Engineering, 23, pp. 279\u2013295, 1997.","DOI":"10.1109\/32.588521"},{"key":"BF03037429_CR37","doi-asserted-by":"crossref","unstructured":"Henzinger, Th. A. and Pei-Hsin, \u201cHyTech: The Cornell HYbrid TECHnology Tool,\u201d inProceedings of TACAS, Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1995.","DOI":"10.1007\/3-540-60472-3_14"},{"key":"BF03037429_CR38","doi-asserted-by":"crossref","unstructured":"Havelund, K., Skou, A., Larsen, K. G., and Lund, L., \u201cFormal Modelling and Analysis of an Audio\/Video Protocol: An Industrial Case Study Using UPPAAL,\u201d inProceedings of the 18th IEEE Real-Time Systems Symposium, San Francisco, California, USA, pp. 2\u201313, 3\u20135 December 1997.","DOI":"10.1109\/REAL.1997.641264"},{"key":"BF03037429_CR39","unstructured":"ISO, Information Processing Systems\u2014Open Systems Interconnection\u2014Basic Reference Model, 1984, IS 7498."},{"key":"BF03037429_CR40","unstructured":"ISO 8807,LOTOS: A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, July 1987."},{"key":"BF03037429_CR41","unstructured":"ISO\/IEC JTC1\/SC21\/WG7, Basic Reference Model of Open Distributed Processing. ISO 10746, part 1 to 4, 1995. WWW: http:\/\/www.dstc.edu.au\/AU\/research_news\/odp. html."},{"key":"BF03037429_CR42","unstructured":"ISO,Working Draft on Enhancements to LOTOS ISO\/IEC JTC1\/SC21\/WG7\/ E-LOTOS, January 1997."},{"key":"BF03037429_CR43","unstructured":"JAVA, Remote Method Invocation (RMI), 1997. http:\/\/java.sun.com\/products\/jdk\/ rmi."},{"key":"BF03037429_CR44","doi-asserted-by":"crossref","unstructured":"Kobayashi, N. and Yonezawa, A., \u201cType-Theoretic Foundations for Concurrent Object-Oriented Programming,\u201d inACM SIGPLAN Conference on Object-Oriented Programming (OOPSLA\u201994), 1994.","DOI":"10.1145\/191080.191088"},{"key":"BF03037429_CR45","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-0-387-34882-7_2","volume-title":"IFIP TC6 International Conference on Open Distributed Processing","author":"P.F. Linington","year":"1995","unstructured":"Linington, P.F., \u201cRM-ODP The Architecture,\u201d inIFIP TC6 International Conference on Open Distributed Processing (K. Raymond and L. Armstrong, eds.), Brisbane, Australia, Chapman and Hall, pp. 15\u201333, February 1995."},{"key":"BF03037429_CR46","doi-asserted-by":"crossref","unstructured":"Liskov, B., \u201cData Abstraction and Hierarchy,\u201dSIGPLAN Notices, 23, 5, May 1988.","DOI":"10.1145\/62139.62141"},{"key":"BF03037429_CR47","volume-title":"FORTE\u201993","author":"L. Leonard","year":"1993","unstructured":"Leonard, L. and Leduc, G., \u201cAn Enhanced Version of Timed LOTOS and Its Application to a Case Study,\u201d inFORTE\u201993, Boston, North-Holland, October 1993."},{"key":"BF03037429_CR48","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0169-7552(96)00078-5","volume":"29","author":"L. Leonard","year":"1996","unstructured":"Leonard, L. and Leduc, G., \u201cAn Introduction to ET-LOTOS for the Description of Time-Sensitive Systems,\u201dComputer Networks and ISDN Systems, 29, pp. 271\u2013292, 1996.","journal-title":"Computer Networks and ISDN Systems"},{"key":"BF03037429_CR49","doi-asserted-by":"crossref","unstructured":"Leonard, L., Leduc, G., and Danthine, A., \u201cThe Tick-Tock Case Study for the Assessment of Timed FDTs,\u201d inthe OSI Transport Service with Multimedia Support (A. Danthine, ed.), Springer, 1994.","DOI":"10.1007\/978-3-642-85165-0_20"},{"key":"BF03037429_CR50","doi-asserted-by":"crossref","unstructured":"Liskov, B. and Wing, J.M., \u201cA New Definition of the Subtype Relation,\u201d inECOOP\u201993 \u2014Object-Oriented Programming (O. M. Nierstrasz, ed.),LNCS707, Springer-Verlag, pp. 118\u2013141, 1993.","DOI":"10.1007\/3-540-47910-4_8"},{"key":"BF03037429_CR51","unstructured":"Microsoft, The component object model specification, 1997. WWW: http:\/\/www. microsoft.com\/oledev\/olecom\/title.htm."},{"key":"BF03037429_CR52","unstructured":"Milner, R.,Communication and Concurrency, Prentice-Hall, 1989."},{"key":"BF03037429_CR53","doi-asserted-by":"crossref","unstructured":"Milner, R., \u201cThe Polyadic Pi-Calculus: A Tutorial,\u201d inLogic and Algebra of Specification, Springer-Verlag, pp. 203\u2013246, 1993.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"BF03037429_CR54","doi-asserted-by":"crossref","unstructured":"Manna, Z. and Pnueli, A.,The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"BF03037429_CR55","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"Milner, R., Parrow, J., and Walker, D., \u201cA Calculus of Mobile Processes,\u201dInformation and Computation, 100, pp. 1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"BF03037429_CR56","unstructured":"Mullender, S., ed.,Distributed Systems, Addison-Wesley, 1994."},{"key":"BF03037429_CR57","series-title":"Technical Report, DITC 52\/91","volume-title":"Comments on the LOTOS Standard","author":"H.B. Munster","year":"1991","unstructured":"Munster, H.B., \u201cComments on the LOTOS Standard,\u201dTechnical Report, DITC 52\/91, National Physical Laboratory, Teddington, Middlesex, UK, September 1991."},{"key":"BF03037429_CR58","volume-title":"FORTE\u201993","author":"A. Nakata","year":"1993","unstructured":"Nakata, A., Higashino, T., and Taniguchi, K., \u201cLOTOS Enhancement to Specify Time Constraints among Non-Adjacent Actions Using First Order Logic,\u201d inFORTE\u201993, Boston, North-Holland, October 1993."},{"issue":"12","key":"BF03037429_CR59","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1145\/38807.38829","volume":"22","author":"O. Nierstrasz","year":"1987","unstructured":"Nierstrasz, O., \u201cActive Objects in Hybrid,\u201dACM SIGPLAN Notices, 22, 12, pp. 243\u2013253, December 1987.Proceedings of OOPSLA\u201987.","journal-title":"ACM SIGPLAN Notices"},{"key":"BF03037429_CR60","doi-asserted-by":"crossref","unstructured":"Nierstrasz, O., \u201cTowards an Object Calculus,\u201d inECOOP\u201991 Workshop on Object-Based Concurrent Computing, LNCS 612, Springer-Verlag, pp. 1\u201320, 1992.","DOI":"10.1007\/3-540-55613-3_1"},{"key":"BF03037429_CR61","unstructured":"Nierstrasz, O., \u201cRegular Types for Active Objects,\u201d inObject-oriented Software Composition, Prentice-Hall, pp. 99\u2013120, 1995."},{"key":"BF03037429_CR62","volume-title":"Formal Description Techniques, IV","author":"E. Najm","year":"1991","unstructured":"Najm, E. and Stefani, J.-B., \u201cDynamic Configuration in LOTOS\u201d inFormal Description Techniques, IV (K. R Parker and G. A. Rose, eds.), Sydney, Australia, North-Holland, November 1991."},{"key":"BF03037429_CR63","doi-asserted-by":"crossref","unstructured":"Najm, E. and Stefani, J.B. \u201cObject Based Concurrency: A Process Calculus Analysis,\u201d in4th International Joint Conference on the Theory and Practice of Software Development, TAPSOFT 91, 1991.","DOI":"10.1007\/3-540-53982-4_20"},{"key":"BF03037429_CR64","doi-asserted-by":"crossref","unstructured":"Najm, E and Stefani, J.B., \u201cComputational Models for Open Distributed Systems,\u201dFMOODS\u201997, 2nd IFIP Conference on Formal Methods for Open Object Based Distributed Systems (H. Bowman and J. Derrick, eds.), Chapman and Hall, July 1997.","DOI":"10.1007\/978-0-387-35261-9_11"},{"key":"BF03037429_CR65","unstructured":"Najm, E., Stefani, J.-B., and Fevrier, A.,Introducing Mobility in LOTOS, ISO\/IEC JTC1\/SC21\/WG1 approved AFNOR contribution, July 1994."},{"key":"BF03037429_CR66","first-page":"271","volume-title":"First IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems","author":"O. Nierstrasz","year":"1996","unstructured":"Nierstrasz, O., Schneider, J.-G., and Lumpe, M., \u201cFormalizing Composable Software Systems\u2014A Research Agenda,\u201d inFirst IFIP International Workshop on Formal Methods for Open Object-based Distributed Systems (E. Najm and J.-B. Stefani, eds.), Paris, Chapman & Hall, pp. 271\u2013282, March 1996."},{"key":"BF03037429_CR67","unstructured":"Object Management Group,The Common Object Request Broker: Architecture and Specification, February 1997. WWW: http:\/\/www.omg.org\/."},{"key":"BF03037429_CR68","doi-asserted-by":"crossref","unstructured":"Papathomas, M., \u201cA Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages,\u201d inECOOP\u201991 Workshop on Object-Based Concurrent Computing, LNCS 612, Springer-Verlag, pp. 53\u201379, 1992.","DOI":"10.1007\/3-540-55613-3_3"},{"key":"BF03037429_CR69","doi-asserted-by":"crossref","unstructured":"Pierce, B. C. and Turner, D.N., \u201cConcurrent Objects in a Process Calculus,\u201d inTheory and Practice of Parallel Programming (TPPP), LNCS, Sendai, Japan, November 1994, Springer-Verlag, to appear.","DOI":"10.1007\/BFb0026570"},{"key":"BF03037429_CR70","volume-title":"First IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems","author":"F. Puntigam","year":"1996","unstructured":"Puntigam, F., \u201cTypes for Active Objects Based on Trace Semantics,\u201d inFirst IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems Paris, Chapman & Hall, March 1996."},{"key":"BF03037429_CR71","unstructured":"Quemada, J., Miguel, C., de Frutos, D., and Llana, L.,Proposal for Timed LOTOS, ISO\/IEC JTC1\/SC21\/WG1, 1994."},{"key":"BF03037429_CR72","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-0-387-34882-7_1","volume-title":"IFIP TC6 International Conference on Open Distributed Processing","author":"K. Raymond","year":"1995","unstructured":"Raymond, K., \u201cReference Model of Open Distributed Processing (RM-ODP): Introduction,\u201d inIFIP TC6 International Conference on Open Distributed Processing (K. Raymond and L. Armstrong, eds.), Brisbane, Australia, Chapman and Hall, pp. 3\u201314, February 1995."},{"key":"BF03037429_CR73","unstructured":"Regan, T., \u201cMultimedia in Temporal LOTOS: A Lip Synchronisation Algorithm,\u201d inPSTV XIII, 13th Protocol Specification, Testing and Verification, North-Holland, 1993."},{"key":"BF03037429_CR74","volume-title":"Formal Description Techniques, IV","author":"S. Rudkin","year":"1991","unstructured":"Rudkin, S., \u201cInheritance in LOTOS,\u201d inFormal Description Techniques, IV, (K. R. Parker and G. A. Rose, eds.), Sydney, Australia, North-Holland, November 1991."},{"key":"BF03037429_CR75","first-page":"73","volume-title":"Protocol Specification, Testing and Verification, XV","author":"M. W. A. Steen","year":"1995","unstructured":"Steen, M. W. A., Bowman, H., and Derrick, J., \u201cComposition of LOTOS Specifications,\u201d inProtocol Specification, Testing and Verification, XV (P. Dembinski and M. Sredniawa, eds.), Warsaw, Poland, Chapman & Hall, pp. 73\u201388, 1995."},{"key":"BF03037429_CR76","unstructured":"Sommerville, I.,Software Engineering, Addison-Wesley, 1989."},{"key":"BF03037429_CR77","volume-title":"Functionality Extension of LOTOS Specifications","author":"M. W. A. Steen","year":"1993","unstructured":"Steen, M. W. A., \u201cFunctionality Extension of LOTOS Specifications,\u201dMaster\u2019s thesis, University of Twente, Enschede, Netherlands, November 1993."},{"key":"BF03037429_CR78","unstructured":"Turner, K.J. ed.,Using Formal Description Techniques, An Introduction to Estelle, LOTOS and SDL, Wiley, 1993."},{"key":"BF03037429_CR79","unstructured":"van Glabbeek, R.J., \u201cThe Refinement Theorem for ST-Bisimulation Semantics,\u201d inProgramming Concepts and Methods, Elsevier Science Publishers, 1990."},{"key":"BF03037429_CR80","doi-asserted-by":"crossref","unstructured":"Winskel, G., \u201cAn Introduction to Event Structures,\u201d inLinear Time, Branching Time and Partial Order in Logics and Models of Concurrency, LNCS 354, Springer-Verlag, 1988.","DOI":"10.1007\/BFb0013026"},{"key":"BF03037429_CR81","unstructured":"Watanabe, T. and Yonezawa, A., \u201cReflection in an Object-Oriented Concurrent Language,\u201d inABCL: An Object-Oriented Concurrent System (A. Yonezawa, ed.), MIT Press, 1990."},{"key":"BF03037429_CR82","doi-asserted-by":"crossref","unstructured":"Yi, W. \u201cCCS+ Time=An Interleaving Model for Real-Time Systems,\u201d inAutomata, Languages and Programming, LNCS 510, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54233-7_136"},{"key":"BF03037429_CR83","unstructured":"Yonezawa, A., ed.,ABCL: An Object-Oriented Concurrent System, MIT Press, 1990."},{"issue":"4","key":"BF03037429_CR84","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/158431.158438","volume":"2","author":"P. Zave","year":"1993","unstructured":"Zave, P. and Jackson, M., \u201cConjunction as Composition,\u201dACM Transactions on Software Engineering and Methodology, 2, 4, pp. 379\u2013411, October 1993.","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037429.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037429\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037429","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:40:16Z","timestamp":1739076016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037429"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":84,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1998,12]]}},"alternative-id":["BF03037429"],"URL":"https:\/\/doi.org\/10.1007\/bf03037429","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}