Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002: Revised Lectures (Lecture Notes in Computer Science, 2852)

Authors:
Marcello M. Bonsangue;Susanne Graf;Willem-Paul De Roever;Frank S. De Boer
Affiliations:
-;-;-;-
Venue:
Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002: Revised Lectures (Lecture Notes in Computer Science, 2852)
Year:
2003

Abstract behavior types: a foundation model for components and their composition

Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A Deductive Proof System for Multithreaded Java with Exceptions

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Modelling coordination in biological systems

ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Stochastic reasoning about channel-based component connectors

COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Compositional semantics of an actor-based language using constraint automata

COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A Deductive Proof System for Multithreaded Java with Exceptions

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning

Hi-index	0.00