Formal methods for open object-based distributed systems. FMOODS, IFIP TC6/ WG6. 1 3rd international conference, Florence, Italy, February 15--18, 1999 (Q1286077)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Nierstrasz, Oscar}, Piccola -- A small composition language, 1 [Zbl 1114.68356] \textit{Gaspari, Mauro; Zavattaro, Gianluigi}, An algebra of actors, 3-18 [Zbl 0928.68020] \textit{Bonsangue, Marcello M.; Kok, Joost N.; Sere, Kaisa}, Developing object-based distributed systems, 19-34 [Zbl 0928.68047] \textit{de Boer, F. S.}, Reasoning about histories in object-based distributed systems, 35-49 [Zbl 0928.68102] \textit{Busi, Nadia}, Mobile nets, 51-66 [Zbl 0928.68081] \textit{Balzarotti, Claudia; De Cindio, Fiorella; Pomello, Lucia}, Observation equivalences for the semantics of inheritance, 67-82 [Zbl 0928.68070] \textit{Sankar, Sriram}, Tools for integrating formal methods into the Java software development process (an extended abstract), 83-88 [Zbl 0928.68021] \textit{Drira, Khalil; Gouëzec, Frédéric; Diaz, Michel}, Design and implementation of coordination protocols for distributed cooperating objects -- a general graph-based technique applied to CORBA, 89-104 [Zbl 1114.68307] \textit{Veglioni, Simone; Parisi-Presicce, Francesco}, Composition and interaction for behavioural specifications, 149-159 [Zbl 0928.68071] \textit{Bolognesi, Tommaso; Bracciali, Andrea}, Formal specification of discrete systems by active predicates and dynamic constraints, 161-168 [Zbl 1114.68442] \textit{Zave, Pamela}, Distributed feature composition: An architecture for telecommunication services, 169-170 [Zbl 1114.68320] \textit{Bowman, H.; Derrick, J.}, A junction between state based and behavioural specification, 213-239 [Zbl 0928.68075] \textit{van Rein, Rick; Fokkinga, Maarten M.}, Protocol assuring universal language, 241-258 [Zbl 0928.68030] \textit{Stølen, Ketil}, Specification of dynamic reconfiguration in the context of input/output relations, 259-272 [Zbl 0933.68094] \textit{Smith, Scott F.; Talcott, Carolyn L.}, Modular reasoning for actor specification diagrams, 313-330 [Zbl 0928.68076] \textit{Latella, Diego; Majzik, Istvan; Massink, Mieke}, Towards a formal operational semantics of UML statechart diagrams, 331-347 [Zbl 0928.68072] \textit{Laneve, Cosimo}, Calculi for concurrent objects, 351-352 [Zbl 0925.68086] \textit{Najm, Elie; Nimour, Abdelkrim; Stefani, Jean-Bernard}, Infinite types for distributed object interfaces, 353-369 [Zbl 0928.68073] \textit{Colaco, Jean-Louis; Pantel, Marc; Dagnat, Fabien; Sallé, Patrick}, Static safety analysis for non-uniform service availability in actors, 371-386 [Zbl 0928.68048] \textit{Broersen, Jan; Wieringa, Roel}, A logic for the specification of multi-object systems, 387-398 [Zbl 0928.68077] \textit{Kobayashi, Naoki; Yonezawa, Akinori}, Distributed and concurrent objects based on linear logic, 399-400 [Zbl 0928.68005] \textit{Blair, Lynne; Blair, Gordon}, Composition in multi-paradigm specification techniques, 401-417 [Zbl 1114.68438] \textit{Canver, E.; von Henke, F. W.}, Formal development of object-based systems in temporal logic setting, 419-436 [Zbl 0928.68049]