![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs212.bht:"
@inproceedings{DBLP:journals/entcs/ChaiQJ08, author = {Mingren Chai and Nan Qu and Ying Jiang}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Tree Process Calculus}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {269--284}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.067}, doi = {10.1016/J.ENTCS.2008.04.067}, timestamp = {Fri, 17 Feb 2023 09:48:03 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ChaiQJ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Chen08, author = {Haiyan Chen}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Decidability of Weak Bisimilarity for a Subset of {BPA}}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {241--255}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.065}, doi = {10.1016/J.ENTCS.2008.04.065}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Chen08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ChenL08, author = {Taolue Chen and Jian Lu}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Complete Axiomatization for Divergent-Sensitive Bisimulations in Basic Process Algebra with Prefix Iteration}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {55--70}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.053}, doi = {10.1016/J.ENTCS.2008.04.053}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/ChenL08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ChenZP08, author = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Preface}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {1}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.049}, doi = {10.1016/J.ENTCS.2008.04.049}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ChenZP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DaiWS08, author = {H. K. Dai and Kyu{-}Young Whang and Hung{-}Chi Su}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Locality of Corner Transformation for Multidimensional Spatial Access Methods}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {133--148}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.058}, doi = {10.1016/J.ENTCS.2008.04.058}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DaiWS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Doberkat08, author = {Ernst{-}Erich Doberkat}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Bisimilarity of Distributionally Equivalent Markov Transition Systems}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {41--53}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.052}, doi = {10.1016/J.ENTCS.2008.04.052}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Doberkat08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Frutos-EscrigGP08, author = {David de Frutos{-}Escrig and Carlos Gregorio{-}Rodr{\'{\i}}guez and Miguel Palomino}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {149--162}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.059}, doi = {10.1016/J.ENTCS.2008.04.059}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Frutos-EscrigGP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HoareO08, author = {Tony Hoare and Peter W. O'Hearn}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Separation Logic Semantics for Communicating Processes}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {3--25}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.050}, doi = {10.1016/J.ENTCS.2008.04.050}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HoareO08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HuangDZ08, author = {Fangping Huang and Manfred Droste and Guo{-}Qiang Zhang}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {A Monoidal Category of Bifinite Chu Spaces}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {285--297}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.068}, doi = {10.1016/J.ENTCS.2008.04.068}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HuangDZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/IlleR08, author = {Pierre Ille and Paul Ruet}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Cyclic Extensions of Order Varieties}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {119--132}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.057}, doi = {10.1016/J.ENTCS.2008.04.057}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/IlleR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LiGZ08, author = {Zhoujun Li and Hua Guo and Xiyong Zhang}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {fficient and Provably Secure Generic Construction of Client-to-Client Password-Based Key Exchange Protocol}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {257--268}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.066}, doi = {10.1016/J.ENTCS.2008.04.066}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/LiGZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LiLCZ08, author = {Mengjun Li and Zhoujun Li and Huowang Chen and Ti Zhou}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {A Novel Derivation Framework For Definite Logic Program}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {71--85}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.054}, doi = {10.1016/J.ENTCS.2008.04.054}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LiLCZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Lu08, author = {Lunjin Lu}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Checking Emptiness of Non-Deterministic Regular Types with Set Operators}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {191--206}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.062}, doi = {10.1016/J.ENTCS.2008.04.062}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Lu08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LuoQ08, author = {Chenguang Luo and Shengchao Qin}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Separation Logic for Multiple Inheritance}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {27--40}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.051}, doi = {10.1016/J.ENTCS.2008.04.051}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LuoQ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LynchT08, author = {Christopher Lynch and Yuefeng Tang}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Rewriting Interpolants}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {163--176}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.060}, doi = {10.1016/J.ENTCS.2008.04.060}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/LynchT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Pichardie08, author = {David Pichardie}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Building Certified Static Analysers by Modular Construction of Well-founded Lattices}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {225--239}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.064}, doi = {10.1016/J.ENTCS.2008.04.064}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Pichardie08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RidgwayW08, author = {John V. E. Ridgway and Jack C. Wileden}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Reasoning About Multi-Lingual Exception Handling Using {RIPLS}}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {177--189}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.061}, doi = {10.1016/J.ENTCS.2008.04.061}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RidgwayW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Sun08a, author = {Meng Sun}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Services and Contracts: Coalgebraically}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {207--223}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.063}, doi = {10.1016/J.ENTCS.2008.04.063}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Sun08a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/XuM08, author = {Luoshan Xu and Xuxin Mao}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Various Constructions of Continuous Information Systems}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {299--311}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.069}, doi = {10.1016/J.ENTCS.2008.04.069}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/XuM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/XueX08, author = {Tao Xue and Qichao Xuan}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Proof Search and Counter Model of Positive Minimal Predicate Logic}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {87--102}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.055}, doi = {10.1016/J.ENTCS.2008.04.055}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/XueX08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ZhouLLC08, author = {Ti Zhou and Mengjun Li and Zhoujun Li and Huowang Chen}, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Modeling and Verifying Time Sensitive Security Protocols with Constraints}, booktitle = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, pages = {103--118}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2008.04.056}, doi = {10.1016/J.ENTCS.2008.04.056}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ZhouLLC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fics2/2008, editor = {Yixiang Chen and Guo{-}Qiang Zhang and Prakash Panangaden}, title = {Proceedings of the First International Conference on Foundations of Informatics, Computing and Software, {FICS} 2008, Shanghai, China, June 3-6, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {212}, publisher = {Elsevier}, year = {2008}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/212/suppl/C}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fics2/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.