scientific article; zbMATH DE number 2079675

MaRDI QIDQ4471722zbMATH OpenFDO

Authors Fernando Orejas, Hartmut Ehrig, Elvira Pino

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2267/22670238.htm

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
• Formal Methods in Software and Systems Modeling
• Compositional comparison of formal software specifications using transformation systems.
• Semantic integration of heterogeneous software specifications.
• Algebra transformation systems as a unifying framework

Cited in

(1)

• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471722)