11. AMAST 2006:
Kuressaare,
Estonia
Michael Johnson, Varmo Vene (Eds.):
Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings.
Lecture Notes in Computer Science 4019 Springer 2006, ISBN 3-540-35633-9 BibTeX
Invited Talks
Contributed Papers
- Irem Aktug, Dilian Gurov:
State Space Representation for Verification of Open Systems.
5-20
Electronic Edition (link) BibTeX
- Brad Alexander, Andrew L. Wendelborn:
Data Movement Optimisation in Point-Free Form.
21-35
Electronic Edition (link) BibTeX
- Benjamin Aziz:
Measuring the Speed of Information Leakage in Mobile Processes.
36-50
Electronic Edition (link) BibTeX
- Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau:
Formal Islands.
51-65
Electronic Edition (link) BibTeX
- Guillaume Bonfante:
Some Programming Languages for Logspace and Ptime.
66-80
Electronic Edition (link) BibTeX
- Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi:
Opaque Predicates Detection by Abstract Interpretation.
81-95
Electronic Edition (link) BibTeX
- Matteo Dell'Amico, Maura Cerioli:
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications.
96-110
Electronic Edition (link) BibTeX
- John Derrick, Heike Wehrheim:
Model Transformations Incorporating Multiple Views.
111-126
Electronic Edition (link) BibTeX
- Ernst-Erich Doberkat:
Hyperfinite Approximations to Labeled Markov Transition Systems.
127-141
Electronic Edition (link) BibTeX
- Azadeh Farzan, José Meseguer:
State Space Reduction of Rewrite Theories Using Invisible Transitions.
142-157
Electronic Edition (link) BibTeX
- William L. Harrison:
The Essence of Multitasking.
158-172
Electronic Edition (link) BibTeX
- Armin Kühnemann, Andreas Maletti:
The Substitution Vanishes.
173-188
Electronic Edition (link) BibTeX
- Juliana Küster Filipe:
Decomposing Interactions.
189-203
Electronic Edition (link) BibTeX
- Tristan Le Gall, Bertrand Jeannet, Thierry Jéron:
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues.
204-219
Electronic Edition (link) BibTeX
- Natalia López, Manuel Núñez, Ismael Rodríguez:
Assessing the Expressivity of Formal Specification Languages.
220-234
Electronic Edition (link) BibTeX
- Carlos López Pombo, Marcelo F. Frias:
Fork Algebras as a Sufficiently Rich Universal Institution.
235-247
Electronic Edition (link) BibTeX
- Arjan J. Mooij, Judi Romijn, Wieger Wesselink:
Realizability Criteria for Compositional MSC.
248-262
Electronic Edition (link) BibTeX
- Bernhard Möller, Peter Höfner, Georg Struth:
Quantales and Temporal Logics.
263-277
Electronic Edition (link) BibTeX
- Härmel Nestra:
Fractional Semantics.
278-292
Electronic Edition (link) BibTeX
- Susumu Nishimura:
Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic.
293-307
Electronic Edition (link) BibTeX
- Dusko Pavlovic, Michael W. Mislove, James Worrell:
Testing Semantics: Connecting Processes and Process Logics.
308-322
Electronic Edition (link) BibTeX
- Georg Struth:
Tableaux for Lattices.
323-337
Electronic Edition (link) BibTeX
- Miguel Valero Espada, Jaco van de Pol:
Accelerated Modal Abstractions of Labelled Transition Systems.
338-352
Electronic Edition (link) BibTeX
- M. Birna van Riemsdijk, John-Jules Ch. Meyer:
A Compositional Semantics of Plan Revision in Intelligent Agents.
353-367
Electronic Edition (link) BibTeX
System Descriptions
Copyright © Sat May 16 22:57:40 2009
by Michael Ley (ley@uni-trier.de)
