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/compass/compass91.bht:"
download as .bib file
@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/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-06-01 20:46 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:
