default search action
Search dblp for Publications
export results for "toc:db/journals/tcs/tcs153.bht:"
@article{DBLP:journals/tcs/DeselNR96, author = {J{\"{o}}rg Desel and Klaus{-}Peter Neuendorf and M.{-}D. Radola}, title = {Proving Nonreachability by Modulo-Invariants}, journal = {Theor. Comput. Sci.}, volume = {153}, number = {1{\&}2}, pages = {49--64}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00117-4}, doi = {10.1016/0304-3975(95)00117-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DeselNR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Engelfriet96, author = {Joost Engelfriet}, title = {A Multiset Semantics for the pi-Calculus with Replication}, journal = {Theor. Comput. Sci.}, volume = {153}, number = {1{\&}2}, pages = {65--94}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00118-2}, doi = {10.1016/0304-3975(95)00118-2}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Engelfriet96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EsparzaB96, author = {Javier Esparza and Glenn Bruns}, title = {Trapping Mutual Exclusion in the Box Calculus}, journal = {Theor. Comput. Sci.}, volume = {153}, number = {1{\&}2}, pages = {95--128}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00119-0}, doi = {10.1016/0304-3975(95)00119-0}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/EsparzaB96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/HoogersKT96, author = {P. W. Hoogers and H. C. M. Kleijn and P. S. Thiagarajan}, title = {An Event Structure Semantics for General Petri Nets}, journal = {Theor. Comput. Sci.}, volume = {153}, number = {1{\&}2}, pages = {129--170}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00120-4}, doi = {10.1016/0304-3975(95)00120-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/HoogersKT96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/MeseguerMS96, author = {Jos{\'{e}} Meseguer and Ugo Montanari and Vladimiro Sassone}, title = {Process versus Unfolding Semantics for Place/Transition Petri Nets}, journal = {Theor. Comput. Sci.}, volume = {153}, number = {1{\&}2}, pages = {171--210}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00121-2}, doi = {10.1016/0304-3975(95)00121-2}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/MeseguerMS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/NielsenW96, author = {Mogens Nielsen and Glynn Winskel}, title = {Petri Nets and Bisimulation}, journal = {Theor. Comput. Sci.}, volume = {153}, number = {1{\&}2}, pages = {211--244}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00122-0}, doi = {10.1016/0304-3975(95)00122-0}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/NielsenW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Petri96, author = {C. A. Petri}, title = {Nets, Time and Space}, journal = {Theor. Comput. Sci.}, volume = {153}, number = {1{\&}2}, pages = {3--48}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00116-6}, doi = {10.1016/0304-3975(95)00116-6}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Petri96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Smith96, author = {Einar Smith}, title = {On the Border of Causality: Contact and Confusion}, journal = {Theor. Comput. Sci.}, volume = {153}, number = {1{\&}2}, pages = {245--270}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00123-9}, doi = {10.1016/0304-3975(95)00123-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Smith96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/TeruelS96, author = {Enrique Teruel and Manuel Silva Su{\'{a}}rez}, title = {Structure Theory of Equal Conflict Systems}, journal = {Theor. Comput. Sci.}, volume = {153}, number = {1{\&}2}, pages = {271--300}, year = {1996}, url = {https://doi.org/10.1016/0304-3975(95)00124-7}, doi = {10.1016/0304-3975(95)00124-7}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/TeruelS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.