Pub Date : 2003-10-13DOI: 10.1007/978-3-540-45208-9_6
G. D. Penna, B. Intrigila, I. Melatti, E. Tronci, M. V. Zilli
{"title":"Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier","authors":"G. D. Penna, B. Intrigila, I. Melatti, E. Tronci, M. V. Zilli","doi":"10.1007/978-3-540-45208-9_6","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_6","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128519528","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 : 2003-10-13DOI: 10.1007/978-3-540-45208-9_7
Ugo Dal Lago, A. Montanari, G. Puppis
{"title":"Towards Compact and Tractable Automaten-Based Representations of Time Granularities","authors":"Ugo Dal Lago, A. Montanari, G. Puppis","doi":"10.1007/978-3-540-45208-9_7","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_7","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126792837","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 : 2003-10-13DOI: 10.1007/978-3-540-45208-9_27
A. L. Ferrara, B. Masucci
{"title":"An Information-Theoretic Approach to the Access Control Problem","authors":"A. L. Ferrara, B. Masucci","doi":"10.1007/978-3-540-45208-9_27","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_27","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"135 2-3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131579920","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 : 2003-10-13DOI: 10.1007/978-3-540-45208-9_5
C. Coen
{"title":"A Constructive Proof of the Soundness of the Encoding of Random Access Machines in a Linda Calculus with Ordered Semantics","authors":"C. Coen","doi":"10.1007/978-3-540-45208-9_5","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_5","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133194138","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 : 2003-10-13DOI: 10.1007/978-3-540-45208-9_30
F. Martinelli, M. Petrocchi, A. Vaccarelli
{"title":"Compositional Verification of Secure Streamed Data: A Case Study with EMSS","authors":"F. Martinelli, M. Petrocchi, A. Vaccarelli","doi":"10.1007/978-3-540-45208-9_30","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_30","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125885044","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 : 2003-10-13DOI: 10.1007/978-3-540-45208-9_11
J. Gustedt, J. A. Telle
{"title":"A Work-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set","authors":"J. Gustedt, J. A. Telle","doi":"10.1007/978-3-540-45208-9_11","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_11","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131354245","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 : 2003-10-13DOI: 10.1007/978-3-540-45208-9_22
D. Cancila, F. Honsell
{"title":"A Coalgebraic Description of Web Interactions","authors":"D. Cancila, F. Honsell","doi":"10.1007/978-3-540-45208-9_22","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_22","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131999915","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 : 2003-10-13DOI: 10.1007/978-3-540-45208-9_17
S. V. Bakel, Ugo de'Liguoro
{"title":"Logical Semantics for the First Order varsigma-Calculus","authors":"S. V. Bakel, Ugo de'Liguoro","doi":"10.1007/978-3-540-45208-9_17","DOIUrl":"https://doi.org/10.1007/978-3-540-45208-9_17","url":null,"abstract":"","PeriodicalId":212849,"journal":{"name":"Italian Conference on Theoretical Computer Science","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132146844","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
扫码关注我们
求助内容：
应助结果提醒方式：