Search dblp for Publications

export results for "toc:db/conf/ifip2/pcm1990.bht:"

 download as .bib file

@inproceedings{DBLP:conf/ifip2/AmericaB90,
  author       = {Pierre America and
                  Frank S. de Boer},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {A Proof System for Process Creation},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {303--332},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Sat, 26 Dec 2020 18:17:05 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/AmericaB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/BackW90,
  author       = {Ralph{-}Johan Back and
                  Joakim von Wright},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Refinement Concepts Formalized in Higher Order Logic},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {179--200},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/BackW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/BerghammerEM90,
  author       = {Rudolf Berghammer and
                  Herbert Ehler and
                  Bernhard M{\"{o}}ller},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {On the Refinement of Non-Deterministic Recursive Routines by Transformations},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {53--72},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/BerghammerEM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/CardelliL90,
  author       = {Luca Cardelli and
                  Xavier Leroy},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Abstract Types and the Dot Notation},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {479--504},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/CardelliL90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/DesharnaisM90,
  author       = {Jules Desharnais and
                  Nazim H. Madhavji},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Abstract Relational Specifications},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {267--284},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/DesharnaisM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Dietl90,
  author       = {Albert Dietl},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Global Control for Communicating Processes},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {285--302},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Dietl90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/FixFG90,
  author       = {Limor Fix and
                  Nissim Francez and
                  Orna Grumberg},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Sematics-Driven Decompositions for the Verification of Distributed
                  Programs},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {101--124},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/FixFG90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/GarlandG90,
  author       = {Stephen J. Garland and
                  John V. Guttag},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Using {LP} to Debug Specifications},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {369--386},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/GarlandG90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/GiacaloneJS90,
  author       = {Alessandro Giacalone and
                  Chi{-}Chang Jou and
                  Scott A. Smolka},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Algebraic Reasoning for Probabilistic Concurrent Systems},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {443--458},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/GiacaloneJS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Glabbeek90,
  author       = {Rob J. van Glabbeek},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {The Refinement Theorem for ST-bisimulation Semantics},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {27--52},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Fri, 28 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2/Glabbeek90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Goldschlag90,
  author       = {David M. Goldschlag},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Mechanizing Unity},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {387--414},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Goldschlag90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/HeJH90,
  author       = {Jifeng He and
                  Mark B. Josephs and
                  Charles Antony Richard Hoare},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {A Theory of Synchrony and Asynchrony},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {459--478},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2/HeJH90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Henson90,
  author       = {Martin C. Henson},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Information Loss in the Programming Logic {TK}},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {523--560},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Henson90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/HonsellR90,
  author       = {Furio Honsell and
                  Simona Ronchi Della Rocca},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Reasoning About Interpretations in Qualitative {\(\lambda\)}-Models},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {505--522},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/HonsellR90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Jeuring90,
  author       = {Johan Jeuring},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Algorithms for Theorems},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {247--266},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Jeuring90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/KatzFE90,
  author       = {Shmuel Katz and
                  Ira R. Forman and
                  Michael Evangelist},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Language Constructs for Distributed Systems},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {73--100},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/KatzFE90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Lafontaine90,
  author       = {Christine Lafontaine},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Formalization of the {VDM} Reification in the {DEVA} Meta-Calculus
                  - The Human-Leucocyte-Antigen Case Study},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {333--368},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Lafontaine90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/MartinN90,
  author       = {Ursula Martin and
                  Tobias Nipkow},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Automating Squiggol},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {233--246},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/MartinN90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/NicollinRSV90,
  author       = {Xavier Nicollin and
                  Jean{-}Luc Richier and
                  Joseph Sifakis and
                  Jacques Voiron},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {{ATP:} an Algebra for Timed Processes},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {415--442},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/NicollinRSV90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Ortega-MallenF90,
  author       = {Yolanda Ortega{-}Mall{\'{e}}n and
                  David de Frutos{-}Escrig},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Timed Observations: {A} Semantic Model for Real-Time Concurrency},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {125--154},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Ortega-MallenF90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Rutten90,
  author       = {Jan J. M. M. Rutten},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Deriving Denotational Models for Bisimulation from Structured Operational
                  Semantics},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {155--178},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Rutten90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Sanders90,
  author       = {Beverly A. Sanders},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Stepwise Refinement of Mixed Specifications of Concurrent Programs},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {1--26},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Sanders90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Wadler90,
  author       = {Philip Wadler},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Linear Types can Change the World!},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {561},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Wadler90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/Weber90,
  author       = {Matthias Weber},
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Formalization of the Bird-Meertens Algorithmic Calculus in the Deva
                  Meta-Calculus},
  booktitle    = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  pages        = {201--232},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Mon, 18 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/Weber90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ifip2/1990,
  editor       = {Manfred Broy and
                  Cliff B. Jones},
  title        = {Programming concepts and methods: Proceedings of the {IFIP} Working
                  Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
                  Sea of Galilee, Israel, 2-5 April, 1990},
  publisher    = {North-Holland},
  year         = {1990},
  isbn         = {0-444-88545-5},
  timestamp    = {Sat, 26 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/1990.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.