Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs189.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/AubertC15,
  author    = {Cl{\'{e}}ment Aubert and
               Ioana Cristescu},
  title     = {Reversible Barbed Congruence on Configuration Structures},
  booktitle = {{ICE}},
  series    = {{EPTCS}},
  volume    = {189},
  pages     = {68--85},
  year      = {2015}
}
@inproceedings{DBLP:journals/corr/BarbaneraBd15,
  author    = {Franco Barbanera and
               Steffen van Bakel and
               Ugo de'Liguoro},
  title     = {Orchestrated Session Compliance},
  booktitle = {{ICE}},
  series    = {{EPTCS}},
  volume    = {189},
  pages     = {21--36},
  year      = {2015}
}
@inproceedings{DBLP:journals/corr/BestS15,
  author    = {Eike Best and
               Uli Schlachter},
  title     = {Analysis of Petri Nets and Transition Systems},
  booktitle = {{ICE}},
  series    = {{EPTCS}},
  volume    = {189},
  pages     = {53--67},
  year      = {2015}
}
@inproceedings{DBLP:journals/corr/DokterJAB15,
  author    = {Kasper Dokter and
               Sung{-}Shik Jongmans and
               Farhad Arbab and
               Simon Bliudze},
  title     = {Relating {BIP} and Reo},
  booktitle = {{ICE}},
  series    = {{EPTCS}},
  volume    = {189},
  pages     = {3--20},
  year      = {2015}
}
@inproceedings{DBLP:journals/corr/Given-WilsonL15,
  author    = {Thomas Given{-}Wilson and
               Axel Legay},
  title     = {On the Expressiveness of Joining},
  booktitle = {{ICE}},
  series    = {{EPTCS}},
  volume    = {189},
  pages     = {99--113},
  year      = {2015}
}
@inproceedings{DBLP:journals/corr/LuttikY15,
  author    = {Bas Luttik and
               Fei Yang},
  title     = {Executable Behaviour and the {\(\pi\)}-Calculus (extended abstract)},
  booktitle = {{ICE}},
  series    = {{EPTCS}},
  volume    = {189},
  pages     = {37--52},
  year      = {2015}
}
@inproceedings{DBLP:journals/corr/SantosMV15,
  author    = {C{\'{e}}sar Santos and
               Francisco Martins and
               Vasco Thudichum Vasconcelos},
  title     = {Deductive Verification of Parallel Programs Using Why3},
  booktitle = {{ICE}},
  series    = {{EPTCS}},
  volume    = {189},
  pages     = {128--142},
  year      = {2015}
}
@inproceedings{DBLP:journals/corr/ScalasB15,
  author    = {Alceste Scalas and
               Massimo Bartoletti},
  title     = {The {LTS} WorkBench},
  booktitle = {{ICE}},
  series    = {{EPTCS}},
  volume    = {189},
  pages     = {86--98},
  year      = {2015}
}
@inproceedings{DBLP:journals/corr/XuYL15,
  author    = {Xian Xu and
               Qiang Yin and
               Huan Long},
  title     = {On the Computation Power of Name Parameterization in Higher-order
               Processes},
  booktitle = {{ICE}},
  series    = {{EPTCS}},
  volume    = {189},
  pages     = {114--127},
  year      = {2015}
}
@proceedings{DBLP:journals/corr/KnightLLV15,
  editor    = {Sophia Knight and
               Ivan Lanese and
               Alberto Lluch{-}Lafuente and
               Hugo Torres Vieira},
  title     = {Proceedings 8th Interaction and Concurrency Experience, {ICE} 2015,
               Grenoble, France, 4-5th June 2015},
  series    = {{EPTCS}},
  volume    = {189},
  year      = {2015}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics