4. AMAST 1995: Montreal, Canada

Vangalur S. Alagar, Maurice Nivat (Eds.): Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings. Lecture Notes in Computer Science 936 Springer 1995, ISBN 3-540-60043-4 BibTeX

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

Invited Lectures

David Gries: Equational Logic as a Tool. 1-17 BibTeX
Jeannette M. Wing: Teaching Mathematics to Software Engineers. 18-40 BibTeX
Ted Ralston, Susan L. Gerhart, Dan Craigen: The Role of Education and Trainig in the Industrial Application of Formal Methods. 41-49 BibTeX
Ewa Orlowska: Information Algebras. 50-65 BibTeX
Krzysztof R. Apt, Ingrid Luitjes: Verification of Logic Programs with Delay Declarations. 66-90 BibTeX
Joseph A. Goguen, Razvan Diaconescu: An Introduction to Category-based Equational Logic. 91-126 BibTeX
Rohit Parikh: Knowledge Based Computation (Extended Abstract). 127-132 BibTeX

Refereed Contributions

Algebraic and Logical Foundations

Anne Elisabeth Haxthausen: Order-sorted Algebraic Specifications with Higher-order Functions. 133-151 BibTeX
Michel Bidoit, Rolf Hennicker: Proving the Correctness of Behavioural Implementations. 152-168 BibTeX
Mads Dam: On the Decidability of Process Equivalences for the pi-calculus. 169-183 BibTeX
Catherine Oriat: Detecting Isomorphisms of Modular Specifications with Diagrams. 184-198 BibTeX
Christian Prehofer: Higher-Order Narrowing with Convergent Systems. 199-213 BibTeX
Eric Badouel, Philippe Darondeau, Jean-Claude Raoult: Context-Free Event Domains are Recognizable. 214-229 BibTeX
Delphine Terrasse: Encoding Natural Semantics in Coq. 230-244 BibTeX
Bart Jacobs: Mongruences and Cofree Coalgebras. 245-260 BibTeX
María Victoria Cengarle: Semantic Typing for Parametric Algebraic Specifications. 261-276 BibTeX

Concurrent and Reactive Systems

Lalita Jategaonkar Jagadeesan, Radha Jagadeesan: Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). 277-291 BibTeX
Luca de Alfaro, Zohar Manna: Verification in Continuous Time by Discrete Reasoning. 292-306 BibTeX
Gian Luigi Ferrari, Ugo Montanari: Dynamic Matrices and the Cost Analysis of Concurrent Programs. 307-321 BibTeX
Allan Cheng: Petri Nets, Traces, and Local Model Checking. 322-337 BibTeX
Elizabeth I. Leonard, Amy E. Zwarico: An Algebraic Framework for Developing and Maintaining Real-Time Systems. 338-352 BibTeX
Pierre Collette, Edgar Knapp: Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY. 353-367 BibTeX
Andrea Corradini, Fabio Gadducci: CPO Models for Infinite Term Rewriting. 368-384 BibTeX
Angelo Montanari, Maarten de Rijke: Completeness Results for Two-sorted Metric Temporal Logics. 385-399 BibTeX

Software Technology

Naima Brown, Abdelillah Mokkedem: On Mechanizing Proofs within a Complete Proof System for Unity. 400-415 BibTeX
Deepak Kapur, Mahadevan Subramaniam: Automated Reasoning About Parallel Algorithms Using Powerlists. 416-430 BibTeX
Axel Dold: Representing, Verifying and Applying Software Development Steps using the PVS System. 431-445 BibTeX
Martin Gogolla, Rudolf Herzig: An Algebraic Development Technique for Information Systems. 446-460 BibTeX
Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena: A Framework for Machine-Assisted User Interface Verification. 461-474 BibTeX
Maritta Heisel: Specification of the Unix File System: A Comparative Case Study. 475-488 BibTeX
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki: A Calculus of Countable Broadcasting Systems. 489-503 BibTeX
Anne Bergeron: Symbolic Timing Devices. 504-517 BibTeX

Logic Programming Databases

Rajiv Bagai, Rajshekhar Sunderraman: An Algebraic Construction of the Well-Founded Model. 518-530 BibTeX
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Confluence in Concurrent Constraint Programming. 531-545 BibTeX
P. Rajagopalan, C. P. Tsang: A Generic Algebra for Data Collections Based on Constructive Logic. 546-560 BibTeX
Bharat Jayaraman, Mauricio Osorio, Kyonghee Moon: Partial Order Programming (Revisited). 561-575 BibTeX

Research Prototype Reports

Adel Bouhoula, Michaël Rusinowitch: SPIKE: A System for Automatic Inductive Proofs. 576-577 BibTeX
Jutta Eusterbrock: SEAMLESS: Knowledge Based Evolutionary System Synthesis. 578-580 BibTeX
Hasan M. Jamil, Laks V. S. Lakshmanan: An Object-Oriented Front-end for Deductive Databases. 581-584 BibTeX
Bharat Jayaraman, Kyonghee Moon: The SuRE Programming Framework. 585 BibTeX
Laks V. S. Lakshmanan, Iyer N. Subramanian, Despina Papoulis, Nematollaah Shiri: A Declarative System for Multi-database Interoperability. 586-589 BibTeX
Houari A. Sahraoui: The METAGEN System. 590-591 BibTeX