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/amast2000.bht:"
download as .bib file
@inproceedings{DBLP:conf/amast/AdiDM00,
author = {Kamel Adi and
Mourad Debbabi and
Mohamed Mejri},
editor = {Teodor Rus},
title = {A New Logic for Electronic Commerce Protocols},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {499--513},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_35},
doi = {10.1007/3-540-45499-3\_35},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/AdiDM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Ancona00,
author = {Davide Ancona},
editor = {Teodor Rus},
title = {{MIX(FL):} {A} Kernel Language of Mixin Modules},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {454--468},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_32},
doi = {10.1007/3-540-45499-3\_32},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Ancona00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Andova00,
author = {Suzana Andova},
editor = {Teodor Rus},
title = {Time and Probability in Process Algebra},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {323--338},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_24},
doi = {10.1007/3-540-45499-3\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Andova00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/AstesianoCR00,
author = {Egidio Astesiano and
Maura Cerioli and
Gianna Reggio},
editor = {Teodor Rus},
title = {Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages:
Towards an Application to {UML}},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {273--292},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_21},
doi = {10.1007/3-540-45499-3\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/AstesianoCR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BorgerCR00,
author = {Egon B{\"{o}}rger and
Alessandra Cavarra and
Elvinia Riccobene},
editor = {Teodor Rus},
title = {An {ASM} Semantics for {UML} Activity Diagrams},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {293--308},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_22},
doi = {10.1007/3-540-45499-3\_22},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/BorgerCR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BragaHMM00,
author = {Christiano de Oliveira Braga and
Edward Hermann Haeusler and
Jos{\'{e}} Meseguer and
Peter D. Mosses},
editor = {Teodor Rus},
title = {Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting
Logic},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {407--421},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_29},
doi = {10.1007/3-540-45499-3\_29},
timestamp = {Tue, 16 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/BragaHMM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BreitlingP00,
author = {Max Breitling and
Jan Philipps},
editor = {Teodor Rus},
title = {Step by Step to Histories},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {11--25},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_4},
doi = {10.1007/3-540-45499-3\_4},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/BreitlingP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BroyW00,
author = {Manfred Broy and
Martin Wirsing},
editor = {Teodor Rus},
title = {Invited Talk: Algebraic State Machines},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {89--188},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_9},
doi = {10.1007/3-540-45499-3\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/BroyW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BusiGZ00,
author = {Nadia Busi and
Roberto Gorrieri and
Gianluigi Zavattaro},
editor = {Teodor Rus},
title = {Process Calculi for Coordination: From Linda to JavaSpaces},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {198--212},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_16},
doi = {10.1007/3-540-45499-3\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/BusiGZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Cerone00,
author = {Antonio Cerone},
editor = {Teodor Rus},
title = {Process Algebra versus Axiomatic Specification of a Real-Time Protocol},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {57--72},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_7},
doi = {10.1007/3-540-45499-3\_7},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Cerone00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ChoppyPR00,
author = {Christine Choppy and
Pascal Poizat and
Jean{-}Claude Royer},
editor = {Teodor Rus},
title = {A Global Semantics for Views},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {165--180},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_13},
doi = {10.1007/3-540-45499-3\_13},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/ChoppyPR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/CoudertG00,
author = {Sophie Coudert and
Pascale Le Gall},
editor = {Teodor Rus},
title = {A Reuse-Oriented Framework for Hierarchical Specifications},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {438--453},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_31},
doi = {10.1007/3-540-45499-3\_31},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/CoudertG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/DesharnaisMT00,
author = {Jules Desharnais and
Bernhard M{\"{o}}ller and
Fairouz Tchier},
editor = {Teodor Rus},
title = {Kleene under a Demonic Star},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {355--370},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_26},
doi = {10.1007/3-540-45499-3\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/DesharnaisMT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/DocheW00,
author = {Marielle Doche and
Virginie Wiels},
editor = {Teodor Rus},
title = {Extended Institutions for Testing},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {514--528},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_36},
doi = {10.1007/3-540-45499-3\_36},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/DocheW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Duran00,
author = {Francisco Dur{\'{a}}n},
editor = {Teodor Rus},
title = {The Extensibility of Maude's Module Algebra},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {422--437},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_30},
doi = {10.1007/3-540-45499-3\_30},
timestamp = {Mon, 28 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Duran00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Erwig00,
author = {Martin Erwig},
editor = {Teodor Rus},
title = {Random Access to Abstract Data Types},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {135--149},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_11},
doi = {10.1007/3-540-45499-3\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Erwig00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Fidge00,
author = {Colin J. Fidge},
editor = {Teodor Rus},
title = {The Algebra of Multi-tasking},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {213--227},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_17},
doi = {10.1007/3-540-45499-3\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Fidge00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FischerW00,
author = {Clemens Fischer and
Heike Wehrheim},
editor = {Teodor Rus},
title = {Behavioural Subtyping Relations for Object-Oriented Formalisms},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {469--483},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_33},
doi = {10.1007/3-540-45499-3\_33},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/FischerW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FocardiGM00,
author = {Riccardo Focardi and
Roberto Gorrieri and
Fabio Martinelli},
editor = {Teodor Rus},
title = {Message Authentication through Non Interference},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {258--272},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_20},
doi = {10.1007/3-540-45499-3\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/FocardiGM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Guerra00,
author = {Sofia Guerra},
editor = {Teodor Rus},
title = {Distance Functions for Defaults in Reactive Systems},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {26--40},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_5},
doi = {10.1007/3-540-45499-3\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Guerra00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Gurevich00,
author = {Yuri Gurevich},
editor = {Teodor Rus},
title = {Invited Talk: {ASM} Formalware in the Software Engineering Cycle},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {197},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_15},
doi = {10.1007/3-540-45499-3\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Gurevich00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/HealyW00,
author = {Michael Healy and
Keith E. Williamson},
editor = {Teodor Rus},
title = {Invited Talk: Applying Category Theory to Derive Engineering Software
from Encoded Knowledge},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {484--498},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_34},
doi = {10.1007/3-540-45499-3\_34},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/HealyW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Heinemann00,
author = {Bernhard Heinemann},
editor = {Teodor Rus},
title = {Generalizing the Modal and Temporal Logic of Linear Time},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {41--56},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_6},
doi = {10.1007/3-540-45499-3\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Heinemann00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/HillS00,
author = {Patricia M. Hill and
Fausto Spoto},
editor = {Teodor Rus},
title = {Analysis of Downward Closed Properties of Logic Programs},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {181--196},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_14},
doi = {10.1007/3-540-45499-3\_14},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/HillS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/JacobsP00,
author = {Bart Jacobs and
Erik Poll},
editor = {Teodor Rus},
title = {A Monad for Basic Java Semantics},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {150--164},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_12},
doi = {10.1007/3-540-45499-3\_12},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/JacobsP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/LawfordMFM00,
author = {Mark Lawford and
Jeff McDougall and
Peter Froebel and
Greg Moum},
editor = {Teodor Rus},
title = {Practical Application of Functional and Relational Methods for the
Specification and Verification of Safety Critical Software},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {73--88},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_8},
doi = {10.1007/3-540-45499-3\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/LawfordMFM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Machado00,
author = {Patr{\'{\i}}cia D. L. Machado},
editor = {Teodor Rus},
title = {Testing from Structured Algebraic Specifications},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {529--544},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_37},
doi = {10.1007/3-540-45499-3\_37},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Machado00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/MoorG00,
author = {Oege de Moor and
Jeremy Gibbons},
editor = {Teodor Rus},
title = {Invited Talk: Pointwise Relational Programming},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {371--390},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_27},
doi = {10.1007/3-540-45499-3\_27},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/MoorG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/NicolaL00,
author = {Rocco De Nicola and
Michele Loreti},
editor = {Teodor Rus},
title = {A Modal Logic for {KLAIM}},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {339--354},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_25},
doi = {10.1007/3-540-45499-3\_25},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/NicolaL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Parnas00,
author = {David Lorge Parnas},
editor = {Teodor Rus},
title = {Invited Talk: {A} Software Engineering Program of Lasting Value},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {1},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_1},
doi = {10.1007/3-540-45499-3\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Parnas00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ParnasT00,
author = {David Lorge Parnas},
editor = {Teodor Rus},
title = {Making Mathematical Methods More Practical for Software Developers
(Invited Talk)},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {9--10},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_3},
doi = {10.1007/3-540-45499-3\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/ParnasT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/ReggioR00,
author = {Gianna Reggio and
Lorenzo Repetto},
editor = {Teodor Rus},
title = {{CASL-CHART:} {A} Combination of Statecharts and of the Algebraic
Specification Language {CASL}},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {243--257},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_19},
doi = {10.1007/3-540-45499-3\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/ReggioR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Talcott00,
author = {Carolyn L. Talcott},
editor = {Teodor Rus},
title = {Towards a Toolkit for Actor System Specification},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {391--406},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_28},
doi = {10.1007/3-540-45499-3\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Talcott00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/TiniM00,
author = {Simone Tini and
Andrea Maggiolo{-}Schettini},
editor = {Teodor Rus},
title = {A Causal Semantics for Timed Default Concurrent Constraint Programming},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {228--242},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_18},
doi = {10.1007/3-540-45499-3\_18},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/TiniM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Wing00,
author = {Jeannette M. Wing},
editor = {Teodor Rus},
title = {Invited Talk: Weaving Formal Methods into the Undergraduate Computer
Science Curriculum},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {2--9},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_2},
doi = {10.1007/3-540-45499-3\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Wing00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/Wyk00,
author = {Eric Van Wyk},
editor = {Teodor Rus},
title = {Meta Languages in Algebraic Compilers},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {119--134},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_10},
doi = {10.1007/3-540-45499-3\_10},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/Wyk00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/YingW00,
author = {Mingsheng Ying and
Martin Wirsing},
editor = {Teodor Rus},
title = {Approximate Bisimilarity},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {309--322},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_23},
doi = {10.1007/3-540-45499-3\_23},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/YingW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/2000,
editor = {Teodor Rus},
title = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3},
doi = {10.1007/3-540-45499-3},
isbn = {3-540-67530-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/2000.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-06 02:48 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:
