Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/compass:"
download as .bib file
@proceedings{DBLP:conf/compass/1995,
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61629-2},
doi = {10.1007/3-540-61629-2},
isbn = {3-540-61629-2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/ArraisF95,
author = {M. Arrais and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Unifying Theories in Different Institutions},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {81--101},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_38},
doi = {10.1007/3-540-61629-2\_38},
timestamp = {Sat, 30 Sep 2023 09:37:34 +0200},
biburl = {https://dblp.org/rec/conf/compass/ArraisF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BidoitCV95,
author = {Michel Bidoit and
Christine Choppy and
Fr{\'{e}}d{\'{e}}ric Voisin},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Interchange Format for Inter-operability of Tools and Translation:
The {SALSA} and ASSPEGIQU\({}^{\mbox{+}}\)/LP Experience},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {102--124},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_39},
doi = {10.1007/3-540-61629-2\_39},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/BidoitCV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BundgenL95,
author = {Reinhard B{\"{u}}ndgen and
Werner Lauterbach},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Experiments with Partial Evaluation Domains for Rewrite Specifications},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {125--142},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_40},
doi = {10.1007/3-540-61629-2\_40},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/BundgenL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Burstall95,
author = {Rod M. Burstall},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Inductively Defined Relations: {A} Brief Tutorial (Extended Abstract)},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {14--16},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_33},
doi = {10.1007/3-540-61629-2\_33},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Burstall95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/ClericiJO95,
author = {Silvia Clerici and
Rosa M. Jim{\'{e}}nez and
Fernando Orejas},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Class-Sort Polymorphism in {GLIDER}},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {143--160},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_41},
doi = {10.1007/3-540-61629-2\_41},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/ClericiJO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/CosciaR95,
author = {Eva Coscia and
Gianna Reggio},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Deontic Concepts in the Algebraic Specification of Dynamic Systems:
The Permission Case},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {161--181},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_42},
doi = {10.1007/3-540-61629-2\_42},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/CosciaR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Denker95,
author = {Grit Denker},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Reification - Changing Viewpoint but Preserving Truth},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {182--199},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_43},
doi = {10.1007/3-540-61629-2\_43},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Denker95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Diaconescu95,
author = {Razvan Diaconescu},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {A Category-Based Equational Logic Semantics to Constraint Programming},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {200--221},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_44},
doi = {10.1007/3-540-61629-2\_44},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Diaconescu95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrigGW95,
author = {Hartmut Ehrig and
Martin Gro{\ss}e{-}Rhode and
Uwe Wolter},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {On the Role of Category Theory in the Area of Algebraic Specification},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {17--48},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_34},
doi = {10.1007/3-540-61629-2\_34},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/EhrigGW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/GallA95,
author = {Pascale Le Gall and
Agn{\`{e}}s Arnould},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Formal Specifications and Test: Correctness and Oracle},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {342--358},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_52},
doi = {10.1007/3-540-61629-2\_52},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/GallA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Grosse-Rhode95,
author = {Martin Gro{\ss}e{-}Rhode},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Concurrent State Transformations on Abstract Data Types},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {222--236},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_45},
doi = {10.1007/3-540-61629-2\_45},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Grosse-Rhode95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/HenselS95,
author = {Ulrich Hensel and
David A. Spooner},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {A View on Implementing Processes: Categories of Circuits},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {237--254},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_46},
doi = {10.1007/3-540-61629-2\_46},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/HenselS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/HintermaierKM95,
author = {Claus Hintermeier and
H{\'{e}}l{\`{e}}ne Kirchner and
Peter D. Mosses},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Combining Algebraic and Set-Theoretic Specifications},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {255--273},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_47},
doi = {10.1007/3-540-61629-2\_47},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compass/HintermaierKM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Hoare95,
author = {C. A. R. Hoare},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Unification of Theories: {A} Challenge for Computing Science},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {49--57},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_35},
doi = {10.1007/3-540-61629-2\_35},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Hoare95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Horning95,
author = {James J. Horning},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {The Larch Shared Language: Some Open Problems},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {58--73},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_36},
doi = {10.1007/3-540-61629-2\_36},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Horning95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/KampermanW95,
author = {J. F. Th. Kamperman and
H. R. Walters},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Minimal Term Rewriting Systems},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {274--290},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_48},
doi = {10.1007/3-540-61629-2\_48},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/KampermanW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/KlarGC95,
author = {Marcus Klar and
Robert Geisler and
Felix Cornelius},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {\emph{InterACT}: An Interactive Theorem and Completeness Prover for
Algebraic Specifications with Conditional Equation},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {291--395},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_49},
doi = {10.1007/3-540-61629-2\_49},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/KlarGC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/KriauciukasW95,
author = {Valentinas Kriauciukas and
Michal Walicki},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Rewriting and Reasoning with Set-Relations {II:} The Non-ground Case
Completeness},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {306--321},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_50},
doi = {10.1007/3-540-61629-2\_50},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/KriauciukasW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Krieg-Bruckner95,
author = {Bernd Krieg{-}Br{\"{u}}ckner},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Seven Years of {COMPASS}},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {1--13},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_32},
doi = {10.1007/3-540-61629-2\_32},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Krieg-Bruckner95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Kristoffersen95,
author = {Bj{\o}rn Kristoffersen},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Termination of Curryfied Rewrite Systems},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {322--341},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_51},
doi = {10.1007/3-540-61629-2\_51},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Kristoffersen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Lescanne95,
author = {Pierre Lescanne},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {The Lambda Calculus as an Abstract Data Type},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {74--80},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_37},
doi = {10.1007/3-540-61629-2\_37},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Lescanne95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Malcolm95,
author = {Grant Malcolm},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Behavioural Equivalence, Bisimulation, and Minimal Realisation},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {359--378},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_53},
doi = {10.1007/3-540-61629-2\_53},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Malcolm95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Mossakowski95,
author = {Till Mossakowski},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Using Limits of Parchment to Systematically Construct Institutions
of partial Algebras},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {379--393},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_54},
doi = {10.1007/3-540-61629-2\_54},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Mossakowski95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Mylonakis95,
author = {Nikos Mylonakis},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Behavioural Specifications in Type Theory},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {394--408},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_55},
doi = {10.1007/3-540-61629-2\_55},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Mylonakis95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Padawitz95,
author = {Peter Padawitz},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Swinging Data Types: Syntax, Semantics, and Theory},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {409--435},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_56},
doi = {10.1007/3-540-61629-2\_56},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Padawitz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Pawlowski95,
author = {Wieslaw Pawlowski},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Context Institutions},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {436--457},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_57},
doi = {10.1007/3-540-61629-2\_57},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compass/Pawlowski95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/QianK95,
author = {Zhenyu Qian and
Bernd Krieg{-}Br{\"{u}}ckner},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Object-Oriented Functional Programming and Type Reconstruction},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {458--477},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_58},
doi = {10.1007/3-540-61629-2\_58},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/QianK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Tarlecki95,
author = {Andrzej Tarlecki},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Moving Between Logical Systems},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {478--502},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_59},
doi = {10.1007/3-540-61629-2\_59},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compass/Tarlecki95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/VoisinB95,
author = {Fr{\'{e}}d{\'{e}}ric Voisin and
Michel Bidoit},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Modular Algebraic Specifications and the Orientation of Equations
into Rewrite Rules},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {503--521},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_60},
doi = {10.1007/3-540-61629-2\_60},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/VoisinB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/WaltersK95,
author = {H. R. Walters and
J. F. Th. Kamperman},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {A Model for {I/O} in Equational Languages with Don't Care Non-determinism},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {522--535},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_61},
doi = {10.1007/3-540-61629-2\_61},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/WaltersK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Wolz95,
author = {Dietmar Wolz},
editor = {Magne Haveraaen and
Olaf Owe and
Ole{-}Johan Dahl},
title = {Tool Design for Structuring Mechanisms for Algebraic Specification
Languages with Initial Semantics},
booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification
of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo,
Norway, September 19-23, 1995, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1130},
pages = {536--550},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61629-2\_62},
doi = {10.1007/3-540-61629-2\_62},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Wolz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1994,
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0014419},
doi = {10.1007/BFB0014419},
isbn = {3-540-59132-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Aspinall94,
author = {David Aspinall},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Types, Subtypes, and {ASL+}},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {116--131},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014424},
doi = {10.1007/BFB0014424},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/Aspinall94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BachmairGS94,
author = {Leo Bachmair and
Harald Ganzinger and
J{\"{u}}rgen Stuber},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Combining Algebra and Universal Algebra in First-Order Theorem Proving:
The Case of Commutative Rings},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {1--29},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014420},
doi = {10.1007/BFB0014420},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/BachmairGS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Beeri94,
author = {Catriel Beeri},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Bulk Types and Query Language Design},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {30--47},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014421},
doi = {10.1007/BFB0014421},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Beeri94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BertE94,
author = {Didier Bert and
Rachid Echahed},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {On the Operational Semantics of the Algebraic and Logic Programming
Language {LPG}},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {132--152},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014425},
doi = {10.1007/BFB0014425},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/BertE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BidoitH94,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Behavioural Theories},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {153--169},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014426},
doi = {10.1007/BFB0014426},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/BidoitH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Broy94,
author = {Manfred Broy},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Equations for Describing Dynamic Nets of Communicating Systems},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {170--187},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014427},
doi = {10.1007/BFB0014427},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Broy94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Cerioli94,
author = {Maura Cerioli},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {A Lazy Approach to Partial Algebras},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {188--202},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014428},
doi = {10.1007/BFB0014428},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Cerioli94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Denker94,
author = {Grit Denker},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Transactions in Object-Oriented Specifications},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {203--218},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014429},
doi = {10.1007/BFB0014429},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Denker94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrichS94,
author = {Hans{-}Dieter Ehrich and
Am{\'{\i}}lcar Sernadas},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Local Specification of Distributed Families of Sequential Objects},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {219--235},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014430},
doi = {10.1007/BFB0014430},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/EhrichS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrigLO94,
author = {Hartmut Ehrig and
Michael L{\"{o}}we and
Fernando Orejas},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Dynamic Abstract Data Types Based on Algebraic Graph Transformations},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {236--254},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014431},
doi = {10.1007/BFB0014431},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/EhrigLO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/FernandezJ94,
author = {Maribel Fern{\'{a}}ndez and
Jean{-}Pierre Jouannaud},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Modular Termination of Term Rewriting Systems Revisited},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {255--272},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014432},
doi = {10.1007/BFB0014432},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/FernandezJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/FiadeiroC94,
author = {Jos{\'{e}} Luiz Fiadeiro and
Jos{\'{e}} F{\'{e}}lix Costa},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Institutions for Behaviour Specification},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {273--289},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014433},
doi = {10.1007/BFB0014433},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/FiadeiroC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/GogollaC94,
author = {Martin Gogolla and
Maura Cerioli},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {What is an Abstract Data Type, after all?},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {499--523},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014447},
doi = {10.1007/BFB0014447},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/GogollaC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/GogollaH94,
author = {Martin Gogolla and
Rudolf Herzig},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {An Algebraic Semantics for the Object Specification Language {TROLL}
\emph{light}},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {290--396},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014434},
doi = {10.1007/BFB0014434},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/GogollaH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/HenselR94,
author = {Ulrich Hensel and
Horst Reichel},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Defining Equations in Terminal Coalgebras},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {307--318},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014435},
doi = {10.1007/BFB0014435},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/HenselR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/HintermeierKK94,
author = {Claus Hintermeier and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Sort Inheritance for Order-Sorted Equational Presentations},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {319--335},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014436},
doi = {10.1007/BFB0014436},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/HintermeierKK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Hussmann94,
author = {Heinrich Hu{\ss}mann},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Axiomatic Specification of Large Information Systems: Experiences
and Consequences},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {336--350},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014437},
doi = {10.1007/BFB0014437},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Hussmann94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/LechnerLW94,
author = {Ulrike Lechner and
Christian Lengauer and
Martin Wirsing},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {An Object-Oriented Airport: Specification and Refinement in Maude},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {351--367},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014438},
doi = {10.1007/BFB0014438},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/LechnerLW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Meinke94,
author = {Karl Meinke},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Topological Methods for Algebraic Specification},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {368--388},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014439},
doi = {10.1007/BFB0014439},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Meinke94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/MeseguerM94,
author = {Jos{\'{e}} Meseguer and
Narciso Mart{\'{\i}}{-}Oliet},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {From Abstract Data Types to Logical Frameworks},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {48--80},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014422},
doi = {10.1007/BFB0014422},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/MeseguerM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Mossakowski94,
author = {Till Mossakowski},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {A Hierarchy of Institutions Seperated by Properties of Parameterized
Abstract Data Types},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {389--405},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014440},
doi = {10.1007/BFB0014440},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Mossakowski94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Parisi-PresicceP94,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Dynamical Behavior of Object Systems},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {406--419},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014441},
doi = {10.1007/BFB0014441},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Parisi-PresicceP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/SernadasSV94,
author = {Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Jos{\'{e}} Manuel Valen{\c{c}}a},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {A Theory-based Typological Notion of Institutions},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {420--436},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014442},
doi = {10.1007/BFB0014442},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/SernadasSV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Underwood94,
author = {Judith L. Underwood},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Typing Abstract Data Types},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {437--452},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014443},
doi = {10.1007/BFB0014443},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Underwood94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/WalickiM94,
author = {Michal Walicki and
Sigurd Meldal},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Multialgebras, Power Algebras and Complete Calculi of Identities and
Inclusions},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {453--468},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014444},
doi = {10.1007/BFB0014444},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/WalickiM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Wirsing94,
author = {Martin Wirsing},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Algebraic Specification Languages: An Overview},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {81--115},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014423},
doi = {10.1007/BFB0014423},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Wirsing94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Wolter94,
author = {Uwe Wolter},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Institutional Frames},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {469--482},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014445},
doi = {10.1007/BFB0014445},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Wolter94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Zucca94,
author = {Elena Zucca},
editor = {Egidio Astesiano and
Gianna Reggio and
Andrzej Tarlecki},
title = {Implementation of Data Structures in an Imperative Framework},
booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification
of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita,
Italy, May 30 - June 3, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {906},
pages = {483--498},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014446},
doi = {10.1007/BFB0014446},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Zucca94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1992,
editor = {Hartmut Ehrig},
title = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57867-6},
doi = {10.1007/3-540-57867-6},
isbn = {3-540-57867-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compass/1991,
editor = {Michel Bidoit and
Christine Choppy},
title = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56379-2},
doi = {10.1007/3-540-56379-2},
isbn = {3-540-56379-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BettazR92,
author = {Mohamed Bettaz and
Gianna Reggio},
editor = {Hartmut Ehrig},
title = {A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {98--112},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_5},
doi = {10.1007/3-540-57867-6\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/compass/BettazR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/CerioliR92,
author = {Maura Cerioli and
Gianna Reggio},
editor = {Hartmut Ehrig},
title = {Institutions for Very Abstract Specifications},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {113--127},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_6},
doi = {10.1007/3-540-57867-6\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/CerioliR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Choppy92,
author = {Christine Choppy},
editor = {Hartmut Ehrig},
title = {About the Correctness and Adequacy of {PLUSS} Specifications},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {128--143},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_7},
doi = {10.1007/3-540-57867-6\_7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Choppy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/ClericiJO92,
author = {Silvia Clerici and
Rosa M. Jim{\'{e}}nez and
Fernando Orejas},
editor = {Hartmut Ehrig},
title = {Semantic Constructions in the Specification Language {GLIDER}},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {144--157},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_8},
doi = {10.1007/3-540-57867-6\_8},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/ClericiJO92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Conrad92,
author = {Stefan Conrad},
editor = {Hartmut Ehrig},
title = {On Certification of Specifications for {TROLL} light Objects},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {158--172},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_9},
doi = {10.1007/3-540-57867-6\_9},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Conrad92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/DenkerG92,
author = {Grit Denker and
Martin Gogolla},
editor = {Hartmut Ehrig},
title = {Translating {TROLL} light Concepts to Maude},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {173--187},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_10},
doi = {10.1007/3-540-57867-6\_10},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/DenkerG92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrigPR92,
author = {Hartmut Ehrig and
Julia Padberg and
Leila Ribeiro},
editor = {Hartmut Ehrig},
title = {Algebraic High-Level Nets: Petri Nets Revisited},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {188--206},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_11},
doi = {10.1007/3-540-57867-6\_11},
timestamp = {Mon, 02 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compass/EhrigPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/GoguenD92,
author = {Joseph A. Goguen and
Razvan Diaconescu},
editor = {Hartmut Ehrig},
title = {Towards an Algebraic Semantics for the Object Paradigm},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {1--29},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_1},
doi = {10.1007/3-540-57867-6\_1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/GoguenD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Grosse-RhodeW92,
author = {Martin Gro{\ss}e{-}Rhode and
Uwe Wolter},
editor = {Hartmut Ehrig},
title = {Two-Categorical Specification of Partial Algebras},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {207--219},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_12},
doi = {10.1007/3-540-57867-6\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Grosse-RhodeW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/HennickerN92,
author = {Rolf Hennicker and
Friederike Nickl},
editor = {Hartmut Ehrig},
title = {A Behavioural Algebraic Framework for Modular System Design with Reuse},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {220--234},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_13},
doi = {10.1007/3-540-57867-6\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/HennickerN92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Hermida92,
author = {Claudio Hermida},
editor = {Hartmut Ehrig},
title = {On Fibred Adjunctions and Completeness for Fibred Categories},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {235--251},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_14},
doi = {10.1007/3-540-57867-6\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Hermida92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Jouannaud92,
author = {Jean{-}Pierre Jouannaud},
editor = {Hartmut Ehrig},
title = {Rewriting Techniques for Software Engineering},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {30--52},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_2},
doi = {10.1007/3-540-57867-6\_2},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Jouannaud92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/LevyA92,
author = {Jordi Levy and
Jaume Agust{\'{\i}}{-}Cullell},
editor = {Hartmut Ehrig},
title = {Implementing Inequality and Non-Deterministic Specifications with
Bi-Rewriting Systems},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {252--267},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_15},
doi = {10.1007/3-540-57867-6\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/LevyA92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Liu92,
author = {Junbo Liu},
editor = {Hartmut Ehrig},
title = {A Semantic Basis of Logic-Independent Transformation},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {268--279},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_16},
doi = {10.1007/3-540-57867-6\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Liu92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Mosses92,
author = {Peter D. Mosses},
editor = {Hartmut Ehrig},
title = {Unified Algebras and Abstract Syntax},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {280--294},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_17},
doi = {10.1007/3-540-57867-6\_17},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compass/Mosses92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Parisi-PresicceP92,
author = {Francesco Parisi{-}Presicce and
Alfonso Pierantonio},
editor = {Hartmut Ehrig},
title = {Structured Inheritance for Algebraic Class Specifications},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {295--309},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_18},
doi = {10.1007/3-540-57867-6\_18},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Parisi-PresicceP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Poigne92,
author = {Axel Poign{\'{e}}},
editor = {Hartmut Ehrig},
title = {Identity and Existence, and Types in Algebra - {A} Survey of Sorts},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {53--78},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_3},
doi = {10.1007/3-540-57867-6\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Poigne92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Rieckhoff92,
author = {Catharina Rieckhoff},
editor = {Hartmut Ehrig},
title = {Towards a Theory for the Animation of Algebraic Specification},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {310--320},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_19},
doi = {10.1007/3-540-57867-6\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Rieckhoff92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Schobbens92,
author = {Pierre{-}Yves Schobbens},
editor = {Hartmut Ehrig},
title = {Second-Order Proof Systems for Algebraic Specification Languages},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {321--336},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_20},
doi = {10.1007/3-540-57867-6\_20},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Schobbens92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/SernadasCS92,
author = {Am{\'{\i}}lcar Sernadas and
Jos{\'{e}} F{\'{e}}lix Costa and
Cristina Sernadas},
editor = {Hartmut Ehrig},
title = {An Institution of Object Behaviour},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {337--351},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_21},
doi = {10.1007/3-540-57867-6\_21},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/SernadasCS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Wagner92,
author = {Eric G. Wagner},
editor = {Hartmut Ehrig},
title = {Overloading and Inheritance},
booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification
of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes
de Malavella, Spain, October 26-30, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {785},
pages = {79--97},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-57867-6\_4},
doi = {10.1007/3-540-57867-6\_4},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Wagner92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/AstesianoC91,
author = {Egidio Astesiano and
Maura Cerioli},
editor = {Michel Bidoit and
Christine Choppy},
title = {Relationships between Logical Frameworks},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {126--143},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_37},
doi = {10.1007/3-540-56379-2\_37},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/AstesianoC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/AstesianoR91,
author = {Egidio Astesiano and
Gianna Reggio},
editor = {Michel Bidoit and
Christine Choppy},
title = {Algebraic Specification of Concurrency},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {1--39},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_33},
doi = {10.1007/3-540-56379-2\_33},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/AstesianoR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BernotG91,
author = {Gilles Bernot and
Pascale Le Gall},
editor = {Michel Bidoit and
Christine Choppy},
title = {Label Algebras: {A} Systematic Use of Terms},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {144--163},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_38},
doi = {10.1007/3-540-56379-2\_38},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/BernotG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/BettazM91,
author = {Mohamed Bettaz and
Mourad Maouche},
editor = {Michel Bidoit and
Christine Choppy},
title = {How to Specify Non-Determinism and True Concurrency with Algebraic
Term Nets},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {164--180},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_39},
doi = {10.1007/3-540-56379-2\_39},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/BettazM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Breu91,
author = {Michael Breu},
editor = {Michel Bidoit and
Christine Choppy},
title = {Bounded Implementation of Algebraic Specifications},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {181--198},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_40},
doi = {10.1007/3-540-56379-2\_40},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Breu91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrichGS91,
author = {Hans{-}Dieter Ehrich and
Martin Gogolla and
Am{\'{\i}}lcar Sernadas},
editor = {Michel Bidoit and
Christine Choppy},
title = {Objects and their Specification},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {40--65},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_34},
doi = {10.1007/3-540-56379-2\_34},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/EhrichGS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrigBO91,
author = {Hartmut Ehrig and
Michael Baldamus and
Fernando Orejas},
editor = {Michel Bidoit and
Christine Choppy},
title = {New Concepts of Amalgamation and Extension for a General Theory of
Specifications},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {199--221},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_41},
doi = {10.1007/3-540-56379-2\_41},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/EhrigBO91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/EhrigP91,
author = {Hartmut Ehrig and
Francesco Parisi{-}Presicce},
editor = {Michel Bidoit and
Christine Choppy},
title = {Non-Equivalence of Categories for Equational Algebraic Specifications},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {222--235},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_42},
doi = {10.1007/3-540-56379-2\_42},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/EhrigP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/FiadeiroCSM91,
author = {Jos{\'{e}} Luiz Fiadeiro and
Jos{\'{e}} F{\'{e}}lix Costa and
Am{\'{\i}}lcar Sernadas and
T. S. E. Maibaum},
editor = {Michel Bidoit and
Christine Choppy},
title = {Process Semantics of Temporal Logic Specifications},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {236--253},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_43},
doi = {10.1007/3-540-56379-2\_43},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/FiadeiroCSM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Gabriel91,
author = {Peter Gabriel},
editor = {Michel Bidoit and
Christine Choppy},
title = {The Object-Based Specification Language {PI:} Concepts, Syntax, and
Semantics},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {254--270},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_44},
doi = {10.1007/3-540-56379-2\_44},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Gabriel91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Knapik91,
author = {Teodor Knapik},
editor = {Michel Bidoit and
Christine Choppy},
title = {Specifications with Observable Formulae and Observational Satisfaction
Relation},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {271--291},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_45},
doi = {10.1007/3-540-56379-2\_45},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Knapik91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Mosses91,
author = {Peter D. Mosses},
editor = {Michel Bidoit and
Christine Choppy},
title = {The Use of Sorts in Algebraic Specifications},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {66--92},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_35},
doi = {10.1007/3-540-56379-2\_35},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compass/Mosses91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/OrejasNS91,
author = {Fernando Orejas and
Marisa Navarro and
Ana S{\'{a}}nchez},
editor = {Michel Bidoit and
Christine Choppy},
title = {Implementation and Behavioural Equivalence: {A} Survey},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {93--125},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_36},
doi = {10.1007/3-540-56379-2\_36},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/OrejasNS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Reggio91,
author = {Gianna Reggio},
editor = {Michel Bidoit and
Christine Choppy},
title = {Event Logic for Specifying Abstract Dynamic Data Types},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {292--309},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_46},
doi = {10.1007/3-540-56379-2\_46},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Reggio91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/SalibraS91,
author = {Antonino Salibra and
Giuseppe Scollo},
editor = {Michel Bidoit and
Christine Choppy},
title = {A Soft Stairway to Institutions},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {310--329},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_47},
doi = {10.1007/3-540-56379-2\_47},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/SalibraS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/Wagner91,
author = {Eric G. Wagner},
editor = {Michel Bidoit and
Christine Choppy},
title = {Generic Classes in an Object-Based Language},
booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification
of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
France, August 26-30, 1991, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {655},
pages = {330--344},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-56379-2\_48},
doi = {10.1007/3-540-56379-2\_48},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/compass/Wagner91.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-05-31 00:08 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:
