You have Guest access.
Log In
José Luiz Fiadeiro and Pierre-Yves Schobbens
Front matter
1-20
A Temporal Graph Logic for Verification of Graph Transformation Systems
21-36
On the Algebraization of Many-Sorted Logics
37-55
Algebraic Semantics of Service Component Modules
56-73
Autonomous Units and Their Semantics - The Parallel Case
74-91
Reasoning Support for Casl with Automated Theorem Proving Systems
92-110
Structured CSP – A Process Algebra as an Institution
111-126
Incremental Resolution of Model Inconsistencies
127-141
Coalgebraic Modal Logic in CoCasl
142-155
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts
156-170
A (Co)Algebraic Analysis of Synchronization in CSP
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