Search dblp for Publications

export results for "toc:db/journals/tcs/tcs153.bht:"

 download as .bib file

@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 = {Sun, 28 May 2017 01:00:00 +0200},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  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 = {Sun, 28 May 2017 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 = {Sun, 28 May 2017 01:00:00 +0200},
  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 = {Sun, 28 May 2017 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 = {Sun, 28 May 2017 01:00:00 +0200},
  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 = {Thu, 11 Jul 2019 01:00:00 +0200},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/tcs/TeruelS96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics