|
Publications
Conferences and Workshops
-
Fabricio Fernandes and Jean-Claude Royer. The STSLIB Project:
Towards a
Formal Component Model Based on STS. In Fourth International
Workshop
on
Formal Aspects of Component Software (FACS'07). 2007.
(paper, slides)
-
Fabricio Fernandes, Robin Passama and Jean-Claude Royer. Components
with Symbolic Transition Systems: A Java Implementation of Rendez-Vous.
In IOS Press, editor, Proceedings of the Communicating Process
Architecture Conference 2007, volume 65 of Concurrent Systems
Engineering, pages 89-107, 2007. (paper, slides)
-
Fabricio Fernandes, Robin Passama and Jean-Claude Royer. N-party Bindings and Structured Product for Hierarchical Components with Explicit Protocol.
unpublished paper
Additional information can be found here.
Manual
Here you
can download the manual with
more examples.
|