Formal methods for open object-based distributed systems V. IFIP TC6/ WG6. 1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20--22, 2002
type: Item
instance of: scholarly article
title: Formal methods for open object-based distributed systems V. IFIP TC6/ WG6. 1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20--22, 2002
zbMATH Open document ID: 0989.00045
published in: IFIP, International Federation for Information Processing
publication date: 2002-07-03T00:00:00Z
review text: The articles of this volume will be reviewed individually. The preceding conference (4th, 2000) has been reviewed (see Zbl 0951.00047). Indexed articles: \textit{Dwyer, Matthew}, Software model checking: The Bandera approach., 3-4 [Zbl 1048.68049] \textit{Schneider, Steve}, Verifying authentication protocol implementations., 5-24 [Zbl 1048.68052] \textit{Talcott, Carolyn}, A semantic framework for specifying and reasoning about composable distributed middleware services., 25-26 [Zbl 1048.68023] \textit{Jürjens, Jan}, Formal semantics for interacting UML subsystems., 29-43 [Zbl 1048.68047] \textit{Johnsen, Einar Broch; Owe, Olaf}, A compositional formalism for object viewpoints., 45-60 [Zbl 1056.68103] \textit{Taylor, Chris; Boiten, Eerke; Derrick, John}, Interpreting ODP viewpoint specification: Observations from a case study., 61-76 [Zbl 1048.68024] \textit{Wehrheim, Heike}, Checking behavioral subtypes via refinement., 79-93 [Zbl 1048.68028] \textit{Hameurlain, Nabil}, Behavioural subtyping and property preservation for active objects., 95-110 [Zbl 1056.68060] \textit{Singh, Abhishek; Billington, Jonathan}, A formal service specification for IIOP based on ISO/IEC 14752., 111-125 [Zbl 1048.68018] \textit{Briais, Sébastien; Nestmann, Uwe}, Mobile objects \`\` must'' move safely., 129-146 [Zbl 1048.68026] \textit{Thati, Prasannaa; Ziaei, Reza; Agha, Gul}, A theory of may testing for actors., 147-162 [Zbl 1048.68059] \textit{de Boer, F. S.; Pierik, C.}, Computer-aided specification and verification of annotated object-oriented programs., 163-177 [Zbl 1048.68050] \textit{Ogata, Kazuhiro; Futatsugi, Kokichi}, Formal analysis of Suzuki \& Kasami distributed mutual exclusion algorithm., 181-195 [Zbl 1056.68162] \textit{Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo}, Control flow analysis of mobile ambients with security boundaries., 197-212 [Zbl 1048.68025] \textit{Schmidt, Heinz W.; Reussner, Ralf H.}, Generating adapters for concurrent component protocol synchro…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1762857
zbMATH Keywords: Enschede (Netherlands)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: FMOODS 2002
zbMATH Keywords: Open object-based distributed systems
zbMATH Keywords: Distributed systems
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1762857