{"title":"Traces and Logic","authors":"W. Penczek, R. Kuiper","doi":"10.1142/9789814261456_0010","DOIUrl":null,"url":null,"abstract":"Reduction and Topology, p. 28. Non Interleaving Process Algebra, p. 17. Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks, p. 73. A general conservative extension theorem in process algebra, p. 17. Job Shop Scheduling by Constraint Satisfaction, p. 22. A Hierarchical Membership Protocol for Synchronous Distributed Systems, p. 43. Temporal operators viewed as predicate transformers, p. II. Automatic Verification of Regular Protocols in PIT Nets, p. 23. A taxomomy of finite automata construction algorithms, p. 87. A taxonomy of finite automata minimization algorithms, p. 23. A precise clock synchronization protocol,p. Treewidth and Patwidth of Cocomparability graphs of Bounded Dimension, p. 14. Browsing Semantics in the \"Tower\" Model, p. 19. Verifying Sequentially Consistent Memory using Interface Refinement, p. 20. The object-oriented paradigm, p. 28. 93/14 J.c'M. Baeten J .A. Bergstra 93/15 J.c'M. Baeten J .A. Bergstra R.N. Bol 93/16 H. Schepers J. Hooman 93/17 D. Alstein P. van der Stok","PeriodicalId":207132,"journal":{"name":"The Book of Traces","volume":"49 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"24","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Book of Traces","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1142/9789814261456_0010","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 24
Abstract
Reduction and Topology, p. 28. Non Interleaving Process Algebra, p. 17. Design and Analysis of Dynamic Leader Election Protocols in Broadcast Networks, p. 73. A general conservative extension theorem in process algebra, p. 17. Job Shop Scheduling by Constraint Satisfaction, p. 22. A Hierarchical Membership Protocol for Synchronous Distributed Systems, p. 43. Temporal operators viewed as predicate transformers, p. II. Automatic Verification of Regular Protocols in PIT Nets, p. 23. A taxomomy of finite automata construction algorithms, p. 87. A taxonomy of finite automata minimization algorithms, p. 23. A precise clock synchronization protocol,p. Treewidth and Patwidth of Cocomparability graphs of Bounded Dimension, p. 14. Browsing Semantics in the "Tower" Model, p. 19. Verifying Sequentially Consistent Memory using Interface Refinement, p. 20. The object-oriented paradigm, p. 28. 93/14 J.c'M. Baeten J .A. Bergstra 93/15 J.c'M. Baeten J .A. Bergstra R.N. Bol 93/16 H. Schepers J. Hooman 93/17 D. Alstein P. van der Stok
约简与拓扑，第28页。非交错过程代数，第17页。广播网络中动态领导人选举协议的设计与分析，第73页。过程代数中的一般保守可拓定理，第17页。基于约束满足的作业车间调度，第22页。同步分布式系统的分层成员协议，第43页。作为谓词转换器的时间算子，第2页。PIT网中常规协议的自动验证，第23页。有限自动机构造算法的分类学，第87页。有限自动机最小化算法的分类，第23页。一个精确的时钟同步协议，p。有界共比较图的树宽和路径宽，第14页。“塔”模型中的浏览语义，第19页。使用接口细化验证顺序一致性内存，第20页。面向对象范式，第28页。李鸿源是93/14。Baeten J。a。Bergstra 93/15 j.c.m。Baeten J。a。博格斯特拉R.N. Bol 93/16 H. Schepers J. Hooman 93/17 D. Alstein P. van der Stok
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
