8. AMAST 2000: Iowa City, Iowa, USA

@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},
  booktitle = {AMAST},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1816},
  year      = {2000},
  isbn      = {3-540-67530-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• David Lorge Parnas:
  Invited Talk: A Software Engineering Program of Lasting Value. 1
  Electronic Edition (Springer LINK) BibTeX
• Jeannette M. Wing:
  Invited Talk: Weaving Formal Methods into the Undergraduate Computer Science Curriculum. 2-9
  Electronic Edition (Springer LINK) BibTeX
• David Lorge Parnas:
  Making Mathematical Methods More Practical for Software Developers (Invited Talk). 9-10
  Electronic Edition (Springer LINK) BibTeX
• Max Breitling, Jan Philipps:
  Step by Step to Histories. 11-25
  Electronic Edition (Springer LINK) BibTeX
• Sofia Guerra:
  Distance Functions for Defaults in Reactive Systems. 26-40
  Electronic Edition (Springer LINK) BibTeX
• Bernhard Heinemann:
  Generalizing the Modal and Temporal Logic of Linear Time. 41-56
  Electronic Edition (Springer LINK) BibTeX
• Antonio Cerone:
  Process Algebra versus Axiomatic Specification of a Real-Time Protocol. 57-72
  Electronic Edition (Springer LINK) BibTeX
• Mark Lawford, Jeff McDougall, Peter Froebel, Greg Moum:
  Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software. 73-88
  Electronic Edition (Springer LINK) BibTeX
• Manfred Broy, Martin Wirsing:
  Invited Talk: Algebraic State Machines. 89-188
  Electronic Edition (Springer LINK) BibTeX
• Eric Van Wyk:
  Meta Languages in Algebraic Compilers. 119-134
  Electronic Edition (Springer LINK) BibTeX
• Martin Erwig:
  Random Access to Abstract Data Types. 135-149
  Electronic Edition (Springer LINK) BibTeX
• Bart Jacobs, Erik Poll:
  A Monad for Basic Java Semantics. 150-164
  Electronic Edition (Springer LINK) BibTeX
• Christine Choppy, Pascal Poizat, Jean-Claude Royer:
  A Global Semantics for Views. 165-180
  Electronic Edition (Springer LINK) BibTeX
• Patricia M. Hill, Fausto Spoto:
  Analysis of Downward Closed Properties of Logic Programs. 181-196
  Electronic Edition (Springer LINK) BibTeX
• Yuri Gurevich:
  Invited Talk: ASM Formalware in the Software Engineering Cycle. 197
  Electronic Edition (Springer LINK) BibTeX
• Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
  Process Calculi for Coordination: From Linda to JavaSpaces. 198-212
  Electronic Edition (Springer LINK) BibTeX
• Colin J. Fidge:
  The Algebra of Multi-tasking. 213-227
  Electronic Edition (Springer LINK) BibTeX
• Simone Tini, Andrea Maggiolo-Schettini:
  A Causal Semantics for Timed Default Concurrent Constraint Programming. 228-242
  Electronic Edition (Springer LINK) BibTeX
• Gianna Reggio, Lorenzo Repetto:
  CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL. 243-257
  Electronic Edition (Springer LINK) BibTeX
• Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
  Message Authentication through Non Interference. 258-272
  Electronic Edition (Springer LINK) BibTeX
• Egidio Astesiano, Maura Cerioli, Gianna Reggio:
  Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. 273-292
  Electronic Edition (Springer LINK) BibTeX
• Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
  An ASM Semantics for UML Activity Diagrams. 293-308
  Electronic Edition (Springer LINK) BibTeX
• Mingsheng Ying, Martin Wirsing:
  Approximate Bisimilarity. 309-322
  Electronic Edition (Springer LINK) BibTeX
• Suzana Andova:
  Time and Probability in Process Algebra. 323-338
  Electronic Edition (Springer LINK) BibTeX
• Rocco De Nicola, Michele Loreti:
  A Modal Logic for KLAIM. 339-354
  Electronic Edition (Springer LINK) BibTeX
• Jules Desharnais, Bernhard Möller, Fairouz Tchier:
  Kleene under a Demonic Star. 355-370
  Electronic Edition (Springer LINK) BibTeX
• Oege de Moor, Jeremy Gibbons:
  Invited Talk: Pointwise Relational Programming. 371-390
  Electronic Edition (Springer LINK) BibTeX
• Carolyn L. Talcott:
  Towards a Toolkit for Actor System Specification. 391-406
  Electronic Edition (Springer LINK) BibTeX
• Christiano de O. Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses:
  Maude Action Tool: Using Reflection to Map Action Semantics to Rewriting Logic. 407-421
  Electronic Edition (Springer LINK) BibTeX
• Francisco Durán:
  The Extensibility of Maude's Module Algebra. 422-437
  Electronic Edition (Springer LINK) BibTeX
• Sophie Coudert, Pascale Le Gall:
  A Reuse-Oriented Framework for Hierarchical Specifications. 438-453
  Electronic Edition (Springer LINK) BibTeX
• Davide Ancona:
  MIX(FL): A Kernel Language of Mixin Modules. 454-468
  Electronic Edition (Springer LINK) BibTeX
• Clemens Fischer, Heike Wehrheim:
  Behavioural Subtyping Relations for Object-Oriented Formalisms. 469-483
  Electronic Edition (Springer LINK) BibTeX
• Michael Healy, Keith E. Williamson:
  Invited Talk: Applying Category Theory to Derive Engineering Software from Encoded Knowledge. 484-498
  Electronic Edition (Springer LINK) BibTeX
• Kamel Adi, Mourad Debbabi, Mohamed Mejri:
  A New Logic for Electronic Commerce Protocols. 499-513
  Electronic Edition (Springer LINK) BibTeX
• Marielle Doche, Virginie Wiels:
  Extended Institutions for Testing. 514-528
  Electronic Edition (Springer LINK) BibTeX
• Patrícia D. L. Machado:
  Testing from Structured Algebraic Specifications. 529-544
  Electronic Edition (Springer LINK) BibTeX