You have Guest access.
Log In
José Meseguer and Grigore Rosu
Front matter
1
Marrying Words and Trees
2-15
Simulation Using Orchestration (Extended Abstract)
16-35
Liberate Computer User from Programming
36-50
An Algebra for Features and Feature Composition
51-66
Petri Nets Are Dioids
67-82
Towards an Efficient Implementation of Tree Automata Completion
83-99
Calculating Invariants as Coreflexive Bisimulations
100-115
Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
116-121
A Declarative Debugger for Maude
122-138
Long-Run Cost Analysis by Approximation of Linear Operators over Dioids
139-144
Towards Validating a Platoon of Cristal Vehicles Using CSP||B
145-159
Explaining Verification Conditions
160-166
Towards Formal Verification of ToolBus Scripts
167-183
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
184-198
Abstract Interpretation Plugins for Type Systems
199-215
Separation Logic Contracts for a Java-Like Language with Fork/Join
216-231
An Algebraic Semantics for Contract-Based Software Components
232-237
Implementing a Categorical Information System
238-252
Constant Complements, Reversibility and Universal View Updates
253-267
Coinductive Properties of Causal Maps
268-283
Extending Timed Process Algebra with Discrete Stochastic Time
284-298
Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving
299-314
Evolving Specification Engineering
315-329
Verification of Java Programs with Generics
330-345
Domain Axioms for a Family of Near-Semirings
346-361
Generating Specialized Rules and Programs for Demand-Driven Analysis
362-376
Non Expansive ε -Bisimulations
377-391
A Hybrid Approach for Safe Memory Management in C
392-406
Service Specification and Matchmaking Using Description Logic An Approach Based on Institutions
407-412
System Demonstration of Spiral: Generator for High-Performance Linear Transform Libraries
413-429
The Verification of the On-Chip COMA Cache Coherence Protocol
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info