![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "finite-state concurrent system"
@article{DBLP:journals/arc/Zhang23, author = {Kuize Zhang}, title = {A unified concurrent-composition method to state/event inference and concealment in labeled finite-state automata as discrete-event systems}, journal = {Annu. Rev. Control.}, volume = {56}, pages = {100902}, year = {2023}, url = {https://doi.org/10.1016/j.arcontrol.2023.100902}, doi = {10.1016/J.ARCONTROL.2023.100902}, timestamp = {Mon, 01 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/arc/Zhang23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sttt/PennaIMTZ04, author = {Giuseppe Della Penna and Benedetto Intrigila and Igor Melatti and Enrico Tronci and Marisa Venturini Zilli}, title = {Exploiting transition locality in automatic verification of finite-state concurrent systems}, journal = {Int. J. Softw. Tools Technol. Transf.}, volume = {6}, number = {4}, pages = {320--341}, year = {2004}, url = {https://doi.org/10.1007/s10009-004-0149-6}, doi = {10.1007/S10009-004-0149-6}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sttt/PennaIMTZ04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/Clarke94, author = {Edmund M. Clarke}, title = {Automatic Verification of Finite-state Concurrent Systems}, booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings}, pages = {1}, year = {1994}, crossref = {DBLP:conf/apn/1994}, url = {https://doi.org/10.1007/3-540-58152-9\_1}, doi = {10.1007/3-540-58152-9\_1}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/Clarke94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/Clarke94, author = {Edmund M. Clarke}, title = {Automatic Verification of Finite-State Concurrent Systems}, booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science {(LICS} '94), Paris, France, July 4-7, 1994}, pages = {126}, year = {1994}, crossref = {DBLP:conf/lics/1994}, url = {https://doi.org/10.1109/LICS.1994.316079}, doi = {10.1109/LICS.1994.316079}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/Clarke94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rex/ClarkeGL93, author = {Edmund M. Clarke and Orna Grumberg and David E. Long}, title = {Verification Tools for Finite-State Concurrent Systems}, booktitle = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings}, pages = {124--175}, year = {1993}, crossref = {DBLP:conf/rex/1993}, url = {https://doi.org/10.1007/3-540-58043-3\_19}, doi = {10.1007/3-540-58043-3\_19}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/rex/ClarkeGL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/ClarkeGK92, author = {Edmund M. Clarke and Orna Grumberg and Robert P. Kurshan}, title = {A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems}, journal = {J. Log. Comput.}, volume = {2}, number = {5}, pages = {605--618}, year = {1992}, url = {https://doi.org/10.1093/logcom/2.5.605}, doi = {10.1093/LOGCOM/2.5.605}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/ClarkeGK92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/TitusS89, author = {Gregory B. Titus and Allan M. Stavely}, title = {Finding reachable states of finite-state concurrent systems}, journal = {J. Syst. Softw.}, volume = {9}, number = {4}, pages = {253--272}, year = {1989}, url = {https://doi.org/10.1016/0164-1212(89)90046-0}, doi = {10.1016/0164-1212(89)90046-0}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/TitusS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/avmfss/Dill89, author = {David L. Dill}, title = {Timing Assumptions and Verification of Finite-State Concurrent Systems}, booktitle = {Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings}, pages = {197--212}, year = {1989}, crossref = {DBLP:conf/avmfss/1989}, url = {https://doi.org/10.1007/3-540-52148-8\_17}, doi = {10.1007/3-540-52148-8\_17}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/avmfss/Dill89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ershov/ClarkeGK89, author = {Edmund M. Clarke and Orna Grumberg and Robert P. Kurshan}, title = {A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems}, booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings}, pages = {81--90}, year = {1989}, crossref = {DBLP:conf/ershov/1989}, url = {https://doi.org/10.1007/3-540-51237-3\_7}, doi = {10.1007/3-540-51237-3\_7}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/ershov/ClarkeGK89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csl/DaneluttoM88, author = {Marco Danelutto and Andrea Masini}, title = {A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems}, booktitle = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings}, pages = {63--79}, year = {1988}, crossref = {DBLP:conf/csl/1988}, url = {https://doi.org/10.1007/BFb0026295}, doi = {10.1007/BFB0026295}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/csl/DaneluttoM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/AptK86, author = {Krzysztof R. Apt and Dexter Kozen}, title = {Limits for Automatic Verification of Finite-State Concurrent Systems}, journal = {Inf. Process. Lett.}, volume = {22}, number = {6}, pages = {307--309}, year = {1986}, url = {https://doi.org/10.1016/0020-0190(86)90071-2}, doi = {10.1016/0020-0190(86)90071-2}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ipl/AptK86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/toplas/ClarkeES86, author = {Edmund M. Clarke and E. Allen Emerson and A. Prasad Sistla}, title = {Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {8}, number = {2}, pages = {244--263}, year = {1986}, url = {https://doi.org/10.1145/5397.5399}, doi = {10.1145/5397.5399}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/toplas/ClarkeES86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/ClarkeBES84, author = {Edmund M. Clarke and Michael C. Browne and E. Allen Emerson and A. Prasad Sistla}, title = {Using Temporal Logic for Automatic Verification of Finite State Systems}, booktitle = {Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984}, pages = {3--26}, year = {1984}, crossref = {DBLP:conf/nato/1984}, url = {https://doi.org/10.1007/978-3-642-82453-1\_1}, doi = {10.1007/978-3-642-82453-1\_1}, timestamp = {Fri, 17 Apr 2020 17:55:08 +0200}, biburl = {https://dblp.org/rec/conf/nato/ClarkeBES84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/ClarkeES83, author = {Edmund M. Clarke and E. Allen Emerson and A. Prasad Sistla}, title = {Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: {A} Practical Approach}, booktitle = {Conference Record of the Tenth Annual {ACM} Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983}, pages = {117--126}, year = {1983}, crossref = {DBLP:conf/popl/1983}, url = {https://doi.org/10.1145/567067.567080}, doi = {10.1145/567067.567080}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/ClarkeES83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apn/1994, editor = {Robert Valette}, title = {Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {815}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58152-9}, doi = {10.1007/3-540-58152-9}, isbn = {3-540-58152-9}, timestamp = {Mon, 02 Sep 2024 23:38:24 +0200}, biburl = {https://dblp.org/rec/conf/apn/1994.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lics/1994, title = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science {(LICS} '94), Paris, France, July 4-7, 1994}, publisher = {{IEEE} Computer Society}, year = {1994}, url = {https://ieeexplore.ieee.org/xpl/conhome/990/proceeding}, isbn = {0-8186-6310-3}, timestamp = {Mon, 02 Sep 2024 23:38:24 +0200}, biburl = {https://dblp.org/rec/conf/lics/1994.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/rex/1993, editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg}, title = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {803}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58043-3}, doi = {10.1007/3-540-58043-3}, isbn = {3-540-58043-3}, timestamp = {Mon, 02 Sep 2024 23:38:24 +0200}, biburl = {https://dblp.org/rec/conf/rex/1993.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/avmfss/1989, editor = {Joseph Sifakis}, title = {Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {407}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-52148-8}, doi = {10.1007/3-540-52148-8}, isbn = {3-540-52148-8}, timestamp = {Mon, 02 Sep 2024 23:38:24 +0200}, biburl = {https://dblp.org/rec/conf/avmfss/1989.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ershov/1989, editor = {Albert R. Meyer and Michael A. Taitslin}, title = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {363}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-51237-3}, doi = {10.1007/3-540-51237-3}, isbn = {3-540-51237-3}, timestamp = {Mon, 02 Sep 2024 23:38:24 +0200}, biburl = {https://dblp.org/rec/conf/ershov/1989.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/csl/1988, editor = {Egon B{\"{o}}rger and Hans Kleine{ }B{\"{u}}ning and Michael M. Richter}, title = {{CSL} '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {385}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0026291}, doi = {10.1007/BFB0026291}, isbn = {3-540-51659-X}, timestamp = {Mon, 02 Sep 2024 23:38:24 +0200}, biburl = {https://dblp.org/rec/conf/csl/1988.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/nato/1984, editor = {Krzysztof R. Apt}, title = {Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984}, series = {{NATO} {ASI} Series}, volume = {13}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/978-3-642-82453-1}, doi = {10.1007/978-3-642-82453-1}, isbn = {978-3-642-82455-5}, timestamp = {Mon, 02 Sep 2024 23:38:24 +0200}, biburl = {https://dblp.org/rec/conf/nato/1984.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/popl/1983, editor = {John R. Wright and Larry Landweber and Alan J. Demers and Tim Teitelbaum}, title = {Conference Record of the Tenth Annual {ACM} Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983}, publisher = {{ACM} Press}, year = {1983}, url = {http://dl.acm.org/citation.cfm?id=567067}, isbn = {0-89791-090-7}, timestamp = {Mon, 02 Sep 2024 23:38:24 +0200}, biburl = {https://dblp.org/rec/conf/popl/1983.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.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.