Search dblp for Publications

export results for "stream:streams/conf/procomet:"

 download as .bib file

@inproceedings{DBLP:conf/procomet/BarbaneraDV98,
  author    = {Franco Barbanera and
               Mariangiola Dezani{-}Ciancaglini and
               Fer{-}Jan de Vries},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Types for trees},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {11--29},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Wed, 30 Apr 2003 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/procomet/BarbaneraDV98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/BastoneroPR98,
  author    = {O. Bastonero and
               Alberto Pravato and
               Simona Ronchi Della Rocca},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Structures for lazy semantics},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {30--48},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/BastoneroPR98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/BoerFHS98,
  author    = {Frank S. de Boer and
               Nissim Francez and
               M. van Hulst and
               Frank A. Stomp},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {A proof theory of asynchronously communicating sequential processes},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {49--67},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Fri, 05 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/BoerFHS98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/ClarkeJM98,
  author    = {Edmund M. Clarke and
               Somesh Jha and
               Wilfredo R. Marrero},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Using state space exploration and a natural deduction style message
               derivation engine to verify security protocols},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {87--106},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/ClarkeJM98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Crary98,
  author    = {Karl Crary},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Programming language semantics in foundational type theory},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {107--125},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Crary98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/DArgenioKB98,
  author    = {Pedro R. D'Argenio and
               Joost{-}Pieter Katoen and
               Ed Brinksma},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {An algebraic approach to the specification of stochastic systems},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {126--147},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/DArgenioKB98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Damm98,
  author    = {Werner Damm},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Verifying electronic control unit: today and tomorrow},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {7--8},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Damm98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Denney98,
  author    = {Ewen Denney},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Refinement types for specification},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {148--166},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Denney98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/GasterenB98,
  author    = {A. J. M. van Gasteren and
               A. Bijlsma},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {An extension of the program derivation format},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {167--185},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/GasterenB98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Gries98,
  author    = {David Gries},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Teaching calculational logic},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {9--10},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Gries98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/HayesU98,
  author    = {Ian J. Hayes and
               Mark Utting},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Deadlines are termination},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {186--204},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/HayesU98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Hesselink98,
  author    = {Wim H. Hesselink},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {The design of a linearization of a concurrent data object},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {205--224},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Hesselink98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/HonsellLMP98,
  author    = {Furio Honsell and
               Marina Lenisa and
               Ugo Montanari and
               Marco Pistore},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Final semantics for the pi-calculus},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {225--243},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/HonsellLMP98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/HuthK98,
  author    = {Michael Huth and
               Marta Z. Kwiatkowska},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Comparing {CTL} and {PCTL} on labeled Markov chains},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {244--262},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/HuthK98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Kieburtz98,
  author    = {Richard B. Kieburtz},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Reactive functional programming},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {263--284},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Kieburtz98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/KleistS98,
  author    = {Josva Kleist and
               Davide Sangiorgi},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Imperative objects and mobile processes},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {285--303},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/KleistS98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/KuphermannV98,
  author    = {Orna Kupferman and
               Moshe Y. Vardi},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Relating linear and branching model checking},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {304--326},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/KuphermannV98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Leino98,
  author    = {K. Rustan M. Leino},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Extended static checking},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {1--2},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Leino98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/LiuRL98,
  author    = {Zhiming Liu and
               Anders P. Ravn and
               Xiaoshan Li},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Verifying duration properties of timed transition systems},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {327--345},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Sat, 03 May 2014 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/procomet/LiuRL98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/MorealeFL98,
  author    = {Michele Boreale and
               C{\'{e}}dric Fournet and
               Cosimo Laneve},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Bisimulations in the join-calculus},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {68--86},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Wed, 23 Aug 2006 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/procomet/MorealeFL98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Naumann98,
  author    = {David A. Naumann},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Towards squiggly refinement algebra},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {346--365},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Naumann98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/PandyaWX98,
  author    = {Paritosh K. Pandya and
               H.{-}P. Wang and
               Qiwen Xu},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Toward a theory of sequential hybrid programs},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {366--384},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/PandyaWX98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/PeraireBB98,
  author    = {C{\'{e}}cile P{\'{e}}raire and
               St{\'{e}}phane Barbey and
               Didier Buchs},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Test selection for object-oriented software based on formal specifications},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {385--403},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/PeraireBB98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Poetzsch-HeffterM98,
  author    = {Arnd Poetzsch{-}Heffter and
               Peter M{\"{u}}ller},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Logical foundations for typed object-oriented languages},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {404--423},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Wed, 01 Oct 2014 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/procomet/Poetzsch-HeffterM98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/QadeerS98,
  author    = {Shaz Qadeer and
               Natarajan Shankar},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Verifying a self-stabilizing mutual exclusion algorithm},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {424--443},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/QadeerS98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/QiuZ98,
  author    = {Z. Qiu and
               C. Zhou},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {A combination of interval logic and linear temporal logic},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {444--461},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/QiuZ98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Seger98,
  author    = {Carl{-}Johan H. Seger},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {From lattices to practical formal hardware verification},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {3--4},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Seger98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Wabenhorst98,
  author    = {Axel Wabenhorst},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {A model of real-time distributed systems},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {462--482},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Wabenhorst98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Warren98,
  author    = {David Scott Warren},
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Programming with tabling in {XSB}},
  booktitle = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  pages     = {5--6},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  timestamp = {Thu, 21 Nov 2002 11:12:21 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Warren98.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/procomet/1998,
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Programming Concepts and Methods, {IFIP} TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods {(PROCOMET} '98) 8-12
               June 1998, Shelter Island, New York, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {125},
  publisher = {Chapman {\&} Hall},
  year      = {1998},
  isbn      = {0-412-83760-9},
  timestamp = {Thu, 21 Nov 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/1998.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/AbadiL94,
  author    = {Mart{\'{\i}}n Abadi and
               Leslie Lamport},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Decomposing Specifications of Concurrent Systems},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {327--340},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/AbadiL94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/BackS94,
  author    = {Ralph{-}Johan Back and
               Kaisa Sere},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Action Systems with Synchronous Communication},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {107--126},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/BackS94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Boer94,
  author    = {Frank S. de Boer},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Compositionality in the Inductive Assertion Method for Concurrent
               Systems},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {289--305},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Wed, 20 Mar 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Boer94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/BorgerDR94,
  author    = {Egon B{\"{o}}rger and
               Igor Durdanovic and
               Dean Rosenzweig},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Occam: Specification and Compiler Correctness - Part {I:} The Primary
               Model},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {489--508},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/BorgerDR94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Boyle94,
  author    = {James M. Boyle},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Automatic, Self-adaptive Control and Unfold Transformations},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {83--103},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Boyle94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/BusiGG94,
  author    = {Nadia Busi and
               Rob J. van Glabbeek and
               Roberto Gorrieri},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Axiomatising ST-Bisimulation Equivalence},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {169--188},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/BusiGG94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/CorradiniELMR94,
  author    = {Andrea Corradini and
               Hartmut Ehrig and
               Michael L{\"{o}}we and
               Ugo Montanari and
               Francesca Rossi},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {An Event Structure Semantics for Safe Graph Grammars},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {423--444},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/procomet/CorradiniELMR94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/DammH94,
  author    = {Werner Damm and
               Johannes Helbig},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Linking Visual Formalisms: {A} Compositional Proof System for Statecharts
               Based on Symbolic Timing Diagrams},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {341--359},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Tue, 22 Sep 2009 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/procomet/DammH94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Doornbos94,
  author    = {Henk Doornbos},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {A Relational Model of Programs Without the Restriction to Egli-Milner-Monotone
               Constructs},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {363--382},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Doornbos94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/FrancescoMR94,
  author    = {Nicoletta De Francesco and
               Ugo Montanari and
               Gioia Ristori},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Modelling Concurrent Accesses to Shared Data via Petri Nets},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {403--422},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/FrancescoMR94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/JourdanM94,
  author    = {Muriel Jourdan and
               Florence Maraninchi},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Studying Synchronous Communication Mechanisms by Abstractions},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {189--205},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/JourdanM94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/KaldewaijD94,
  author    = {Anne Kaldewaij and
               Victor J. Dielissen},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Decomposable Functions and Leaf Trees: {A} Systematic Approach},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {3--17},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/KaldewaijD94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Karger94,
  author    = {Burghard von Karger},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Plotkin, Hoare and Smyth Order: On Observational Models for {CSP}},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {383--402},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Karger94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/LeinoS94,
  author    = {K. Rustan M. Leino and
               Jan L. A. van de Snepscheut},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Semantics of Exceptions},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {447--466},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/LeinoS94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Moller94,
  author    = {Bernhard M{\"{o}}ller},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Ideal Streams},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {39--58},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Moller94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Moszkowski94,
  author    = {Ben C. Moszkowski},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Some Very Compositional Temporal Properties},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {307--326},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Moszkowski94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Naumann94,
  author    = {David A. Naumann},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Predicate Transformer Semantics of an Oberon-Like Language},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {467--487},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Mon, 06 May 2002 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/procomet/Naumann94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Rensink94,
  author    = {Arend Rensink},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Methodological Aspects of Action Refinement},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {227--246},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Rensink94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Sangiorgi94,
  author    = {Davide Sangiorgi},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Bisimulation in Higher-Order Process Calculi},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {207--224},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Sangiorgi94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/SchmidtZ94,
  author    = {Heinz W. Schmidt and
               Wolf Zimmermann},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Reasoning about Complexity of Object-Oriented Programs},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {553--572},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/SchmidtZ94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/SimonsBR94,
  author    = {Martin Simons and
               Maya Biersack and
               Robert Raschke},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Literate and Structured Presentation of Formal Proofs},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {61--81},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Tue, 12 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/SimonsBR94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Srinivas94,
  author    = {Yellamraju V. Srinivas},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Augmenting Algebraic Specifications with Structured Sorts and Structural
               Subsorting},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {531--550},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Srinivas94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/SteffenP94,
  author    = {Martin Steffen and
               Benjamin C. Pierce},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Higher-Order Subtyping},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {511--530},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/SteffenP94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Sudholt94,
  author    = {Mario S{\"{u}}dholt},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Data Distribution Algebras - {A} Formal Basis for Programming Using
               Skeletons},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {19--38},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Sudholt94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/UdinkHK94,
  author    = {Rob T. Udink and
               Ted Herman and
               Joost N. Kok},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Progress for Local Variables in {UNITY}},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {127--146},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/UdinkHK94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/UseltonS94,
  author    = {Andrew C. Uselton and
               Scott A. Smolka},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {A Process Algebraic Semantics for Statecharts via State Refinement},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {267--286},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/UseltonS94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Verhoef94,
  author    = {Chris Verhoef},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {A General Conservative Extension Theorem in Process Algebra},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {149--168},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 18 Jan 2007 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Verhoef94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Wehrheim94,
  author    = {Heike Wehrheim},
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Parametric Action Refinement},
  booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  pages     = {247--266},
  publisher = {North-Holland},
  year      = {1994},
  timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/Wehrheim94.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/procomet/1994,
  editor    = {Ernst{-}R{\"{u}}diger Olderog},
  title     = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
               {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
               Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
               1994},
  series    = {{IFIP} Transactions},
  volume    = {{A-56}},
  publisher = {North-Holland},
  year      = {1994},
  isbn      = {0-444-82020-5},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/procomet/1994.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics