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/amast/amast95.bht:"
download as .bib file
@inproceedings{DBLP:conf/amast/AlfaroM95,
author = {Luca de Alfaro and
Zohar Manna},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Verification in Continuous Time by Discrete Reasoning},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {292--306},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_60},
doi = {10.1007/3-540-60043-4\_60},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/AlfaroM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/AptL95,
author = {Krzysztof R. Apt and
Ingrid Luitjes},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Verification of Logic Programs with Delay Declarations},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {66--90},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_47},
doi = {10.1007/3-540-60043-4\_47},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/AptL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BadouelDR95,
author = {{\'{E}}ric Badouel and
Philippe Darondeau and
Jean{-}Claude Raoult},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Context-Free Event Domains are Recognizable},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {214--229},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_55},
doi = {10.1007/3-540-60043-4\_55},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/BadouelDR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BagaiS95,
author = {Rajiv Bagai and
Rajshekhar Sunderraman},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {An Algebraic Construction of the Well-Founded Model},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {518--530},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_75},
doi = {10.1007/3-540-60043-4\_75},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/BagaiS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Bergeron95,
author = {Anne Bergeron},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Symbolic Timing Devices},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {504--517},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_74},
doi = {10.1007/3-540-60043-4\_74},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Bergeron95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BidoitH95,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Proving the Correctness of Behavioural Implementations},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {152--168},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_51},
doi = {10.1007/3-540-60043-4\_51},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/BidoitH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BouhoulaR95,
author = {Adel Bouhoula and
Micha{\"{e}}l Rusinowitch},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {{SPIKE:} {A} System for Automatic Inductive Proofs},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {576--577},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_79},
doi = {10.1007/3-540-60043-4\_79},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/BouhoulaR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BrownM95,
author = {Naima Brown and
Abdelillah Mokkedem},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {On Mechanizing Proofs within a Complete Proof System for \emph{Unity}},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {400--415},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_67},
doi = {10.1007/3-540-60043-4\_67},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/BrownM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BumbulisACL95,
author = {Peter Bumbulis and
Paulo S. C. Alencar and
Donald D. Cowan and
Carlos Jos{\'{e}} Pereira de Lucena},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {A Framework for Machine-Assisted User Interface Verification},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {461--474},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_71},
doi = {10.1007/3-540-60043-4\_71},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/BumbulisACL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Cengarle95,
author = {Mar{\'{\i}}a Victoria Cengarle},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Semantic Typing for Parametric Algebraic Specifications},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {261--276},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_58},
doi = {10.1007/3-540-60043-4\_58},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Cengarle95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Cheng95,
author = {Allan Cheng},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Petri Nets, Traces, and Local Model Checking},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {322--337},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_62},
doi = {10.1007/3-540-60043-4\_62},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Cheng95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ColletteK95,
author = {Pierre Collette and
Edgar Knapp},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Logical Foundations for Compositional Verification and Development
of Concurrent Programs in {UNITY}},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {353--367},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_64},
doi = {10.1007/3-540-60043-4\_64},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/ColletteK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/CorradiniG95,
author = {Andrea Corradini and
Fabio Gadducci},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {{CPO} Models for Infinite Term Rewriting},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {368--384},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_65},
doi = {10.1007/3-540-60043-4\_65},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/CorradiniG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Dam95,
author = {Mads Dam},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {On the Decidability of Process Equivalences for the pi-calculus},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {169--183},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_52},
doi = {10.1007/3-540-60043-4\_52},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Dam95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Dold95,
author = {Axel Dold},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Representing, Verifying and Applying Software Development Steps using
the {PVS} System},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {431--445},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_69},
doi = {10.1007/3-540-60043-4\_69},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Dold95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Eusterbrock95,
author = {Jutta Eusterbrock},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {{SEAMLESS:} Knowledge Based Evolutionary System Synthesis},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {578--580},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_80},
doi = {10.1007/3-540-60043-4\_80},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Eusterbrock95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FalaschiGMP95,
author = {Moreno Falaschi and
Maurizio Gabbrielli and
Kim Marriott and
Catuscia Palamidessi},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Confluence in Concurrent Constraint Programming},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {531--545},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_76},
doi = {10.1007/3-540-60043-4\_76},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/FalaschiGMP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FerrariM95,
author = {Gian{-}Luigi Ferrari and
Ugo Montanari},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Dynamic Matrices and the Cost Analysis of Concurrent Programs},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {307--321},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_61},
doi = {10.1007/3-540-60043-4\_61},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/FerrariM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/GogollaH95,
author = {Martin Gogolla and
Rudolf Herzig},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {An Algebraic Development Technique for Information Systems},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {446--460},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_70},
doi = {10.1007/3-540-60043-4\_70},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/GogollaH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/GoguenD95,
author = {Joseph A. Goguen and
Razvan Diaconescu},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {An Introduction to Category-based Equational Logic},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {91--126},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_48},
doi = {10.1007/3-540-60043-4\_48},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/GoguenD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Gries95,
author = {David Gries},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Equational Logic as a Tool},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {1--17},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_43},
doi = {10.1007/3-540-60043-4\_43},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/Gries95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Haxthausen95,
author = {Anne Elisabeth Haxthausen},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Order-sorted Algebraic Specifications with Higher-order Functions},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {133--151},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_50},
doi = {10.1007/3-540-60043-4\_50},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Haxthausen95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Heisel95,
author = {Maritta Heisel},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Specification of the Unix File System: {A} Comparative Case Study},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {475--488},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_72},
doi = {10.1007/3-540-60043-4\_72},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Heisel95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/IsobeSO95,
author = {Yoshinao Isobe and
Yutaka Sato and
Kazuhito Ohmaki},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {A Calculus of Countable Broadcasting Systems},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {489--503},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_73},
doi = {10.1007/3-540-60043-4\_73},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/IsobeSO95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Jacobs95,
author = {Bart Jacobs},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Mongruences and Cofree Coalgebras},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {245--260},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_57},
doi = {10.1007/3-540-60043-4\_57},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Jacobs95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/JagadeesanJ95,
author = {Lalita Jategaonkar Jagadeesan and
Radha Jagadeesan},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Causality and True Concurrency: {A} Data-flow Analysis of the Pi-Calculus
(Extended Abstract)},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {277--291},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_59},
doi = {10.1007/3-540-60043-4\_59},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/JagadeesanJ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/JamilL95,
author = {Hasan M. Jamil and
Laks V. S. Lakshmanan},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {An Object-Oriented Front-end for Deductive Databases},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {581--584},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_81},
doi = {10.1007/3-540-60043-4\_81},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/JamilL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/JayaramanM95,
author = {Bharat Jayaraman and
Kyonghee Moon},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {The SuRE Programming Framework},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {585},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_82},
doi = {10.1007/3-540-60043-4\_82},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/JayaramanM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/JayaramanOM95,
author = {Bharat Jayaraman and
Mauricio Osorio and
Kyonghee Moon},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Partial Order Programming \emph{(Revisited)}},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {561--575},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_78},
doi = {10.1007/3-540-60043-4\_78},
timestamp = {Tue, 17 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/JayaramanOM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/KapurS95,
author = {Deepak Kapur and
Mahadevan Subramaniam},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Automated Reasoning About Parallel Algorithms Using Powerlists},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {416--430},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_68},
doi = {10.1007/3-540-60043-4\_68},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/KapurS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/LakshmananSPS95,
author = {Laks V. S. Lakshmanan and
Iyer N. Subramanian and
Despina Papoulis and
Nematollaah Shiri},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {A Declarative System for Multi-database Interoperability},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {586--589},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_83},
doi = {10.1007/3-540-60043-4\_83},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/LakshmananSPS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/LeonardZ95,
author = {Elizabeth I. Leonard and
Amy E. Zwarico},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {An Algebraic Framework for Developing and Maintaining Real-Time Systems},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {338--352},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_63},
doi = {10.1007/3-540-60043-4\_63},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/LeonardZ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/MontanariR95,
author = {Angelo Montanari and
Maarten de Rijke},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Completeness Results for Two-sorted Metric Temporal Logics},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {385--399},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_66},
doi = {10.1007/3-540-60043-4\_66},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/MontanariR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Oriat95,
author = {Catherine Oriat},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Detecting Isomorphisms of Modular Specifications with Diagrams},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {184--198},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_53},
doi = {10.1007/3-540-60043-4\_53},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Oriat95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Orlowska95,
author = {Ewa Orlowska},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Information Algebras},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {50--65},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_46},
doi = {10.1007/3-540-60043-4\_46},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Orlowska95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Parikh95,
author = {Rohit Parikh},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Knowledge Based Computation (Extended Abstract)},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {127--132},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_49},
doi = {10.1007/3-540-60043-4\_49},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Parikh95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Prehofer95,
author = {Christian Prehofer},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Higher-Order Narrowing with Convergent Systems},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {199--213},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_54},
doi = {10.1007/3-540-60043-4\_54},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Prehofer95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/RajagopalanT95,
author = {P. Rajagopalan and
Chi Ping Tsang},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {A Generic Algebra for Data Collections Based on Constructive Logic},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {546--560},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_77},
doi = {10.1007/3-540-60043-4\_77},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/RajagopalanT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/RalstonGC95,
author = {Ted Ralston and
Susan L. Gerhart and
Dan Craigen},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {The Role of Education and Trainig in the Industrial Application of
Formal Methods},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {41--49},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_45},
doi = {10.1007/3-540-60043-4\_45},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/RalstonGC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Sahraoui95,
author = {Houari A. Sahraoui},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {The {METAGEN} System},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {590--591},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_84},
doi = {10.1007/3-540-60043-4\_84},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Sahraoui95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Terrasse95,
author = {Delphine Terrasse},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Encoding Natural Semantics in Coq},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {230--244},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_56},
doi = {10.1007/3-540-60043-4\_56},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Terrasse95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Wing95,
author = {Jeannette M. Wing},
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Teaching Mathematics to Software Engineers},
booktitle = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
pages = {18--40},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4\_44},
doi = {10.1007/3-540-60043-4\_44},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Wing95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/1995,
editor = {Vangalur S. Alagar and
Maurice Nivat},
title = {Algebraic Methodology and Software Technology, 4th International Conference,
{AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {936},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60043-4},
doi = {10.1007/3-540-60043-4},
isbn = {3-540-60043-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/1995.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-28 21:27 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:
