![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
12. AMAST 2008: Urbana, IL, USA
- José Meseguer, Grigore Rosu:
Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings. Lecture Notes in Computer Science 5140, Springer 2008, ISBN 978-3-540-79979-5 - Rajeev Alur:
Marrying Words and Trees. 1 - David Kitchin, Evan Powell, Jayadev Misra:
Simulation Using Orchestration. 2-15 - Teodor Rus:
Liberate Computer User from Programming. 16-35 - Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner:
An Algebra for Features and Feature Composition. 36-50 - Paolo Baldan, Fabio Gadducci
:
Petri Nets Are Dioids. 51-66 - Emilie Balland, Yohan Boichut, Thomas Genet, Pierre-Etienne Moreau:
Towards an Efficient Implementation of Tree Automata Completion. 67-82 - Luís Soares Barbosa
, José Nuno Oliveira
, Alexandra Silva:
Calculating Invariants as Coreflexive Bisimulations. 83-99 - Roberto Bruni
, Leonardo Gaetano Mezzina:
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines. 100-115 - Adrián Riesco
, Alberto Verdejo
, Narciso Martí-Oliet
, Rafael Caballero
:
A Declarative Debugger for Maude. 116-121 - David Cachera, Thomas P. Jensen, Arnaud Jobin, Pascal Sotin:
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids. 122-138 - Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko
, Jeanine Souquières:
Towards Validating a Platoon of Cristal Vehicles Using CSP||B. 139-144 - Ewen Denney, Bernd Fischer
:
Explaining Verification Conditions. 145-159 - Wan J. Fokkink
, Paul Klint, Bert Lisser, Yaroslav S. Usenko:
Towards Formal Verification of ToolBusScripts. 160-166 - Han Gao, Chiara Bodei
, Pierpaolo Degano:
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. 167-183 - Tobias Gedell, Daniel Hedin:
Abstract Interpretation Plugins for Type Systems. 184-198 - Christian Haack, Clément Hurlin:
Separation Logic Contracts for a Java-Like Language with Fork/Join. 199-215 - Michel Bidoit, Rolf Hennicker:
An Algebraic Semantics for Contract-Based Software Components. 216-231 - Michael Johnson
, Robert D. Rosebrugh:
Implementing a Categorical Information System. 232-237 - Michael Johnson
, Robert D. Rosebrugh:
Constant Complements, Reversibility and Universal View Updates. 238-252 - Jiho Kim:
Coinductive Properties of Causal Maps. 253-267 - Jasen Markovski, Erik P. de Vink:
Extending Timed Process Algebra with Discrete Stochastic Time. 268-283 - Stefan Maus, Michal Moskal, Wolfram Schulte:
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving. 284-298 - Dusko Pavlovic
, Peter Pepper, Douglas R. Smith:
Evolving Specification Engineering. 299-314 - Kurt Stenzel, Holger Grandy, Wolfgang Reif
:
Verification of Java Programs with Generics. 315-329 - Jules Desharnais, Georg Struth:
Domain Axioms for a Family of Near-Semirings. 330-345 - K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu:
Generating Specialized Rules and Programs for Demand-Driven Analysis. 346-361 - Simone Tini
:
Non Expansive epsilon-Bisimulations. 362-376 - Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi
:
A Hybrid Approach for Safe Memory Management in C. 377-391 - M. Birna van Riemsdijk
, Rolf Hennicker, Martin Wirsing, Andreas Schroeder:
Service Specification and Matchmaking Using Description Logic. 392-406 - Yevgen Voronenko, Franz Franchetti, Frédéric de Mesmay, Markus Püschel:
System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries. 407-412 - Thuy Duong Vu, Li Zhang, Chris R. Jesshope:
The Verification of the On-Chip COMA Cache Coherence Protocol. 413-429
![](https://dblp.org/img/cog.dark.24x24.png)
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.