Pub Date : 2011-06-06DOI: 10.1007/978-3-642-21461-5_12
S. Graf, D. Peled, Sophie Quinton
{"title":"Monitoring Distributed Systems Using Knowledge","authors":"S. Graf, D. Peled, Sophie Quinton","doi":"10.1007/978-3-642-21461-5_12","DOIUrl":"https://doi.org/10.1007/978-3-642-21461-5_12","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125665034","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-06-06DOI: 10.1007/978-3-642-21461-5_9
P. Filipiuk, Michal Terepeta, H. R. Nielson, F. Nielson
{"title":"Galois Connections for Flow Algebras","authors":"P. Filipiuk, Michal Terepeta, H. R. Nielson, F. Nielson","doi":"10.1007/978-3-642-21461-5_9","DOIUrl":"https://doi.org/10.1007/978-3-642-21461-5_9","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133782549","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-06-06DOI: 10.1007/978-3-642-21461-5_4
Jonathan Bogdoll, Luis María Ferrer Fioriti, A. Hartmanns, H. Hermanns
{"title":"Partial Order Methods for Statistical Model Checking and Simulation","authors":"Jonathan Bogdoll, Luis María Ferrer Fioriti, A. Hartmanns, H. Hermanns","doi":"10.1007/978-3-642-21461-5_4","DOIUrl":"https://doi.org/10.1007/978-3-642-21461-5_4","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114336460","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-06-06DOI: 10.1007/978-3-642-21461-5_13
G. Kalyon, Tristan Le Gall, H. Marchand, T. Massart
{"title":"Global State Estimates for Distributed Systems","authors":"G. Kalyon, Tristan Le Gall, H. Marchand, T. Massart","doi":"10.1007/978-3-642-21461-5_13","DOIUrl":"https://doi.org/10.1007/978-3-642-21461-5_13","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127362560","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-06-06DOI: 10.1007/978-3-642-21461-5_6
M. Bravetti, C. Giusto, Jorge A. Pérez, G. Zavattaro
{"title":"Adaptable Processes (Extended Abstract)","authors":"M. Bravetti, C. Giusto, Jorge A. Pérez, G. Zavattaro","doi":"10.1007/978-3-642-21461-5_6","DOIUrl":"https://doi.org/10.1007/978-3-642-21461-5_6","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125327931","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-06-06DOI: 10.1007/978-3-642-21461-5_14
Dimitrios Kouzapas, A. Philippou
{"title":"A Process Calculus for Dynamic Networks","authors":"Dimitrios Kouzapas, A. Philippou","doi":"10.1007/978-3-642-21461-5_14","DOIUrl":"https://doi.org/10.1007/978-3-642-21461-5_14","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125844875","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-06-06DOI: 10.1007/978-3-642-21461-5_10
Séverine Fratani, J. Talbot
{"title":"An Accurate Type System for Information Flow in Presence of Arrays","authors":"Séverine Fratani, J. Talbot","doi":"10.1007/978-3-642-21461-5_10","DOIUrl":"https://doi.org/10.1007/978-3-642-21461-5_10","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"1999 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123555101","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-06-06DOI: 10.1007/978-3-642-21461-5_16
Tianxiang Lu, Stephan Merz, Christoph Weidenbach
{"title":"Towards Verification of the Pastry Protocol Using TLA +","authors":"Tianxiang Lu, Stephan Merz, Christoph Weidenbach","doi":"10.1007/978-3-642-21461-5_16","DOIUrl":"https://doi.org/10.1007/978-3-642-21461-5_16","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122558407","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-06-06DOI: 10.1007/978-3-642-21461-5_3
P. Asirelli, M. T. Beek, A. Fantechi, S. Gnesi
{"title":"A Model-Checking Tool for Families of Services","authors":"P. Asirelli, M. T. Beek, A. Fantechi, S. Gnesi","doi":"10.1007/978-3-642-21461-5_3","DOIUrl":"https://doi.org/10.1007/978-3-642-21461-5_3","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115804674","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-06-06DOI: 10.1007/978-3-642-21461-5_7
Yuxin Deng, S. Grumbach, J. Monin
{"title":"A Framework for Verifying Data-Centric Protocols","authors":"Yuxin Deng, S. Grumbach, J. Monin","doi":"10.1007/978-3-642-21461-5_7","DOIUrl":"https://doi.org/10.1007/978-3-642-21461-5_7","url":null,"abstract":"","PeriodicalId":189226,"journal":{"name":"FMOODS/FORTE","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130379034","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：