You have Guest access.
Log In
Andrea Corradini and Ugo Montanari
Front matter
1-17
Concurrent Abstract State Machines and + CAL Programs
18-20
Molecules as Automata
21-36
Service-Level Agreements for Service-Oriented Computing
37-55
Tiles for Reo
56-70
C-semiring Frameworks for Minimum Spanning Tree Problems
71-87
What Is a Multi-modeling Language?
88-101
Generalized Theoroidal Institution Comorphisms
102-118
Graph Transformation with Dependencies for the Specification of Interactive Systems
119-134
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
135-151
A Rewriting Logic Approach to Type Inference
152-165
A Term-Graph Syntax for Algebras over Multisets
166-186
Transformations of Conditional Rewrite Systems Revisited
187-205
Towards a Module System for K
206-220
Property Preserving Refinement for Csp-Casl
221-235
Reconfiguring Distributed Reo Connectors
236-250
A Rewrite Approach for Pattern Containment
251-265
A Coalgebraic Characterization of Behaviours in the Linear Time – Branching Time Spectrum
266-289
Heterogeneous Logical Environments for Distributed Specifications
290-307
Term-Generic Logic
308-325
Declarative Debugging of Rewriting Logic Specifications
326-341
Translating a Dependently-Typed Logic to First-Order Logic
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