Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/tapsoft/tapsoft93.bht:"
download as .bib file
@inproceedings{DBLP:conf/tapsoft/AhmedV93,
author = {Mohsin Ahmed and
G. Venkatesh},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {A Propositional Dense Time Logic (Based on Nested Sequences)},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {584--598},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_91},
doi = {10.1007/3-540-56610-4\_91},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AhmedV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AndreoliLPT93,
author = {Jean{-}Marc Andreoli and
Lone Leth Thomsen and
Remo Pareschi and
Bent Thomsen},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {True Concurrency Semantics for a Linear Logic Programming Language
with Braodcast Communication},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {182--198},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_64},
doi = {10.1007/3-540-56610-4\_64},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AndreoliLPT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Arnold93,
author = {Andr{\'{e}} Arnold},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Verification and Comparison of Transition Systems},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {121--135},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_60},
doi = {10.1007/3-540-56610-4\_60},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Arnold93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AspertiL93,
author = {Andrea Asperti and
Cosimo Laneve},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Optimal Reductions in Interaction Systems},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {485--500},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_84},
doi = {10.1007/3-540-56610-4\_84},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AspertiL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BachmairCR93,
author = {Leo Bachmair and
Ta Chen and
I. V. Ramakrishnan},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Associative-Commutative Discrimination Nets},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {61--74},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_56},
doi = {10.1007/3-540-56610-4\_56},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BachmairCR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BarcucciPS93,
author = {Elena Barcucci and
Renzo Pinzani and
Renzo Sprugnoli},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Directed Column-Convex Polyominoes by Recurrence Relations},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {282--298},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_71},
doi = {10.1007/3-540-56610-4\_71},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BarcucciPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BeauquirerN93,
author = {Dani{\`{e}}le Beauquier and
Damian Niwinski},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Automata on Infinite Trees with Counting Constraints},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {266--281},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_70},
doi = {10.1007/3-540-56610-4\_70},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BeauquirerN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Becker93,
author = {Klaus Becker},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Proving Ground Confluence and Inductive Validity in Constructor Based
Equational Specifications},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {46--60},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_55},
doi = {10.1007/3-540-56610-4\_55},
timestamp = {Tue, 19 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapsoft/Becker93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BellegardeH93,
author = {Fran{\c{c}}oise Bellegarde and
James Hook},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Monads, Indexes and Transformations},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {314--327},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_73},
doi = {10.1007/3-540-56610-4\_73},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BellegardeH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BernotG93,
author = {Gilles Bernot and
Pascale Le Gall},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Exception Handling and Term Labelling},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {421--436},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_80},
doi = {10.1007/3-540-56610-4\_80},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BernotG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BertrandDFL93,
author = {Yves Bertrand and
Jean{-}Fran{\c{c}}ois Dufourd and
Jean Fran{\c{c}}on and
Pascal Lienhardt},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Algebraic Specification and Development in Geometric Modeling},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {75--89},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_57},
doi = {10.1007/3-540-56610-4\_57},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BertrandDFL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BetremaZ93,
author = {Jean B{\'{e}}tr{\'{e}}ma and
A. K. Zvonkin},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {La Vraie Forme d'un Arbre},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {599--612},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_92},
doi = {10.1007/3-540-56610-4\_92},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BetremaZ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BidoitH93,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {A General Framework for Modular Implementations of Modular System
Specifications},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {199--214},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_65},
doi = {10.1007/3-540-56610-4\_65},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BidoitH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/BoudetC93,
author = {Alexandre Boudet and
Hubert Comon},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {About the Theory of Tree Embedding},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {376--390},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_77},
doi = {10.1007/3-540-56610-4\_77},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/BoudetC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Collette93,
author = {Pierre Collette},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Application of the Composition Principle to Unity-like Specifications},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {230--242},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_67},
doi = {10.1007/3-540-56610-4\_67},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Collette93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Corradini93,
author = {Andrea Corradini},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Term Rewriting in CT-Sigma},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {468--484},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_83},
doi = {10.1007/3-540-56610-4\_83},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Corradini93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/DavidDK93,
author = {N. Gnanamalar David and
Frank Drewes and
Hans{-}J{\"{o}}rg Kreowski},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Hyperedge Replacement with Rendevous},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {167--181},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_63},
doi = {10.1007/3-540-56610-4\_63},
timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/DavidDK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/DeganoGV93,
author = {Pierpaolo Degano and
Roberto Gorrieri and
Sebastiano Vigna},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {On Relating Some Models for Concurrency},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {15--30},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_53},
doi = {10.1007/3-540-56610-4\_53},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/DeganoGV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Dershowitz93,
author = {Nachum Dershowitz},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Trees, Ordinals and Termination},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {243--250},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_68},
doi = {10.1007/3-540-56610-4\_68},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Dershowitz93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/DiehlJR93,
author = {Claire Diehl and
Claude Jard and
Jean{-}Xavier Rampon},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Reachability Analysis on Distributed Executions},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {629--643},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_94},
doi = {10.1007/3-540-56610-4\_94},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/DiehlJR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/DriraASC93,
author = {Khalil Drira and
Pierre Az{\'{e}}ma and
B. Soulas and
A. M. Chemali},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Testability of a Communicating System Through an Environment},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {529--543},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_87},
doi = {10.1007/3-540-56610-4\_87},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/DriraASC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/EhrichDS93,
author = {Hans{-}Dieter Ehrich and
Grit Denker and
Am{\'{\i}}lcar Sernadas},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Constructing Systems as Object Communities},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {453--467},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_82},
doi = {10.1007/3-540-56610-4\_82},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/EhrichDS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/EhrigJO93,
author = {Hartmut Ehrig and
Rosa M. Jim{\'{e}}nez and
Fernando Orejas},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Compositionality Results for Different Types of Parameterization and
Parameter Passing in Specification Languages},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {31--45},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_54},
doi = {10.1007/3-540-56610-4\_54},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/EhrigJO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Esparza93,
author = {Javier Esparza},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Model Checking Using Net Unfoldings},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {613--628},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_93},
doi = {10.1007/3-540-56610-4\_93},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Esparza93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/GiannottiL93,
author = {Fosca Giannotti and
Diego Latella},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Gate Splitting in {LOTOS} Specifications Using Abstract Interpretation},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {437--452},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_81},
doi = {10.1007/3-540-56610-4\_81},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/GiannottiL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/GrafL93,
author = {Susanne Graf and
Claire Loiseaux},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Property Preserving Abstractions under Parallel Composition},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {644--657},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_95},
doi = {10.1007/3-540-56610-4\_95},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/GrafL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/GribomontD93,
author = {E. Pascal Gribomont and
Vincent Van Dongen},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Generic Systolic Arrays: {A} Methodology for Systolic Design},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {746--761},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_102},
doi = {10.1007/3-540-56610-4\_102},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/GribomontD93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Guttag93,
author = {John V. Guttag},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Goldilocks and the Three Specifications},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {1--14},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_52},
doi = {10.1007/3-540-56610-4\_52},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Guttag93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/HanW93,
author = {Jun Han and
Jim Welsh},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Object Organisation in Software Environments for Formal Methods},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {299--313},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_72},
doi = {10.1007/3-540-56610-4\_72},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/HanW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/InverardiKY93,
author = {Paola Inverardi and
Balachander Krishnamurthy and
Daniel Yankelevich},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Yeast: {A} Case Study for a Practical Use of Formal Methods},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {105--120},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_59},
doi = {10.1007/3-540-56610-4\_59},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/InverardiKY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Jones93,
author = {Cliff B. Jones},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Constraining Inference in an Object-Based Design Model},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {136--150},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_61},
doi = {10.1007/3-540-56610-4\_61},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Jones93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Kirkwood93,
author = {Carron Kirkwood},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Automating (Specififation = Implementation) Using Equational Reasoning
and {LOTOS}},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {544--558},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_88},
doi = {10.1007/3-540-56610-4\_88},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Kirkwood93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/LatellaQ93,
author = {Diego Latella and
Paola Quaglia},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {A Fully Parallel Calculus of Synchronizing Processes},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {732--745},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_101},
doi = {10.1007/3-540-56610-4\_101},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/LatellaQ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Li93,
author = {Wei Li},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {A Theory of Requirements Capture and Its Applications},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {406--420},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_79},
doi = {10.1007/3-540-56610-4\_79},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Li93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Longo93,
author = {Giuseppe Longo},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Types as Parameters},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {658--670},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_96},
doi = {10.1007/3-540-56610-4\_96},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Longo93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Louchard93,
author = {Guy Louchard},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Trie Size in a Dynamic List Structure},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {717--731},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_100},
doi = {10.1007/3-540-56610-4\_100},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Louchard93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Mahr93,
author = {Bernd Mahr},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Applications of Type Theory},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {343--355},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_75},
doi = {10.1007/3-540-56610-4\_75},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Mahr93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/NiehrenP93,
author = {Joachim Niehren and
Andreas Podelski},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Feature Automata and Recognizable Sets of Feature Trees},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {356--375},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_76},
doi = {10.1007/3-540-56610-4\_76},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/NiehrenP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/OlderogR93,
author = {Ernst{-}R{\"{u}}diger Olderog and
Stephan R{\"{o}}ssig},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {A Case Study in Transformational Design of Concurrent Systems},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {90--104},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_58},
doi = {10.1007/3-540-56610-4\_58},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/OlderogR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/PenaA93,
author = {Ricardo Pena and
Luis M. Alonso},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {A Technique for Specifying and Refining {TCSP} Processes by Using
Guards and Liveness Conditions},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {328--342},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_74},
doi = {10.1007/3-540-56610-4\_74},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/PenaA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/PuelS93,
author = {Laurence Puel and
Asc{\'{a}}nder Su{\'{a}}rez},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Optimal Solutions to Pattern Matching Problems},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {501--518},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_85},
doi = {10.1007/3-540-56610-4\_85},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/PuelS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Qian93,
author = {Zhenyu Qian},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Linear Unification of Higher-Order Patterns},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {391--405},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_78},
doi = {10.1007/3-540-56610-4\_78},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Qian93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Sangiorgi93,
author = {Davide Sangiorgi},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {From pi-Calculus to Higher-Order pi-Calculus - and Back},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {151--166},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_62},
doi = {10.1007/3-540-56610-4\_62},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Sangiorgi93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Seidl93,
author = {Helmut Seidl},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {When Is a Functional Tree Transduction Deterministic?},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {251--265},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_69},
doi = {10.1007/3-540-56610-4\_69},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Seidl93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Smith93,
author = {Geoffrey Smith},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Polymorphic Type Inference with Overloading and Subtyping},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {671--685},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_97},
doi = {10.1007/3-540-56610-4\_97},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Smith93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Thomas93,
author = {Wolfgang Thomas},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {On the Ehrenfeucht-Fra{\"{\i}}ss{\'{e}} Game in Theoretical
Computer Science},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {559--568},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_89},
doi = {10.1007/3-540-56610-4\_89},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Thomas93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/TiurynW93,
author = {Jerzy Tiuryn and
Mitchell Wand},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Type Reconstruction with Recursive Types and Atomic Subtyping},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {686--701},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_98},
doi = {10.1007/3-540-56610-4\_98},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/TiurynW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Trier93,
author = {Uwe Trier},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {(Un)expected Path Lengths of Asymmetric Binary Search Trees},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {702--716},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_99},
doi = {10.1007/3-540-56610-4\_99},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Trier93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Tyszkiewicz93,
author = {Jerzy Tyszkiewicz},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {On Asymptotic Probabilities in Logics That Capture DSPACE(log n) in
Presence of Ordering},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {569--583},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_90},
doi = {10.1007/3-540-56610-4\_90},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tapsoft/Tyszkiewicz93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Vandevoorde93,
author = {Mark T. Vandevoorde},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Specifications Can Make Programs Run Faster},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {215--229},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_66},
doi = {10.1007/3-540-56610-4\_66},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Vandevoorde93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/YaoB93,
author = {Ming Yu Yao and
Gregor von Bochmann},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Testing for a Conformance Relation Based on Acceptance},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {519--528},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_86},
doi = {10.1007/3-540-56610-4\_86},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/YaoB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1993,
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4},
doi = {10.1007/3-540-56610-4},
isbn = {3-540-56610-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 09:16 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
