Search dblp for Publications

• > Home > Search

@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}
}