Bull. EATCSPub Date : 1900-01-01DOI: 10.1142/9789812562494_0053
L. Aceto
{"title":"Some of My Favourite Results in Classic Process Algebra","authors":"L. Aceto","doi":"10.1142/9789812562494_0053","DOIUrl":"https://doi.org/10.1142/9789812562494_0053","url":null,"abstract":"2003, Luca Aceto.BRICS, Department of Computer ScienceUniversity of Aarhus. All rights reserved.Reproduction of all or part of this workis permitted for educational or research useon condition that this copyright notice isincluded in any copy.See back inner page for a list of recent BRICS Notes Series publications.Copies may be obtained by contacting:BRICSDepartment of Computer ScienceUniversity of AarhusNy Munkegade, building 540DK–8000 Aarhus CDenmarkTelephone:+45 8942 3360Telefax: +45 8942 3255Internet: BRICS@brics.dkBRICS publications are in general accessible through the World WideWeb and anonymous FTP through these URLs:http://www.brics.dkftp://ftp.brics.dkThis document in subdirectory NS/03/2/","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"383 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131855958","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}
Bull. EATCSPub Date : 1900-01-01DOI: 10.1142/9789812562494_0040
J. Lara
{"title":"Meta-Modelling and Graph Transformation for the Simulation of Systems","authors":"J. Lara","doi":"10.1142/9789812562494_0040","DOIUrl":"https://doi.org/10.1142/9789812562494_0040","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"204 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134309016","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}
Bull. EATCSPub Date : 1900-01-01DOI: 10.1142/9789812562494_0039
Anilda Qemali
{"title":"A New Experience with Graph Transformation","authors":"Anilda Qemali","doi":"10.1142/9789812562494_0039","DOIUrl":"https://doi.org/10.1142/9789812562494_0039","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124777294","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}
Bull. EATCSPub Date : 1900-01-01DOI: 10.1142/9789812794499_0046
A. Salomaa
{"title":"L Codes and L Systems with Immigration","authors":"A. Salomaa","doi":"10.1142/9789812794499_0046","DOIUrl":"https://doi.org/10.1142/9789812794499_0046","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114495233","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}
Bull. EATCSPub Date : 1900-01-01DOI: 10.1007/3-540-28131-2
M. Amos
{"title":"Theoretical and Experimental DNA Computation","authors":"M. Amos","doi":"10.1007/3-540-28131-2","DOIUrl":"https://doi.org/10.1007/3-540-28131-2","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117293892","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}
Bull. EATCSPub Date : 1900-01-01DOI: 10.1142/9789812794499_0040
Richard Chang, Suresh Chari, D. Ranjan, P. Rohatgi
{"title":"Relativization: a revisionistic retrospective","authors":"Richard Chang, Suresh Chari, D. Ranjan, P. Rohatgi","doi":"10.1142/9789812794499_0040","DOIUrl":"https://doi.org/10.1142/9789812794499_0040","url":null,"abstract":"For almost two decades, contradictory relativization has been a central theme in complexity theory. This concept was first introduced by Baker, Gill and Solovay [BGS75] in their ground breaking paper where they exhibited oracles A and B such that P = NP and P 6= NP. This result was startling because almost all results in recursion theory remain true in the presence of oracles and most techniques used in complexity theory had been resource bounded versions of those used in recursion theory. Baker, Gill and Solovay offered the following explanation of their results [BGS75]:","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115372124","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}
Bull. EATCSPub Date : 1900-01-01DOI: 10.1142/9789812562494_0037
C. Fischer, H. Wehrheim
{"title":"Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method","authors":"C. Fischer, H. Wehrheim","doi":"10.1142/9789812562494_0037","DOIUrl":"https://doi.org/10.1142/9789812562494_0037","url":null,"abstract":"The integration of several different modelling techniques into a single formal method has turned out to be advantageous in the formal design of software systems. Giving a semantics to an integrated formal method is currently a very active area of research. In this paper we discuss the advantages of a failure-divergence semantics for data and process integrating formal methods, in particular for those with a concept of inheritance. The discussion proceeds along the lines of the formal method CSP-OZ, a combination of CSP and Object-Z, developed in Oldenburg.","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116653794","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}
Bull. EATCSPub Date : 1900-01-01DOI: 10.1142/9789812562494_0041
Milan Urbásek
{"title":"Net Transformations for Petri Net Technology","authors":"Milan Urbásek","doi":"10.1142/9789812562494_0041","DOIUrl":"https://doi.org/10.1142/9789812562494_0041","url":null,"abstract":"","PeriodicalId":388781,"journal":{"name":"Bull. EATCS","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126760972","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号
