Sciweavers

Share
SOCA
2008
IEEE
8 years 3 months ago
Specification of realizable service conversations using collaboration diagrams
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
Tevfik Bultan, Xiang Fu
FORMATS
2009
Springer
8 years 10 months ago
Realizability of Real-Time Logics
Abstract. We study the realizability problem for speciļ¬cations of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
Laurent Doyen, Gilles Geeraerts, Jean-Franç...
books