BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Greece
1 × Portugal
1 × The Netherlands
1 × United Kingdom
Collaborated with:
F.Parisi-Presicce M.Simeoni G.Täntzer J.Cramer W.Fey M.Goedicke
Talks about:
system (5) transform (4) base (3) composit (2) express (2) algebra (2) refin (2) model (2) graph (2) rule (2)

Person: Martin Große-Rhode

DBLP DBLP: Gro=szlig=e-Rhode:Martin

Contributed to:

ICALP 20012001
AGTIVE 19991999
IFM 19991999
FASE 19981998
TAGT 19981998
TAPSOFT, Vol.2: CCPSD 19911991

Wrote 6 papers:

ICALP-2001-Grosse-Rhode #modelling #object-oriented #semantics
Integrating Semantics for Object-Oriented System Models (MGR), pp. 40–60.
AGTIVE-1999-Grosse-RhodePST #composition #distributed #graph transformation #modelling #refinement
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions (MGR, FPP, MS, GT), pp. 31–45.
IFM-1999-Grosse-Rhode #algebra #comparison #composition #protocol #specification
A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems (MGR), pp. 253–272.
FASE-1998-Grosse-Rhode #algebra #composition
Algebra Transformation Systems and their Composition (MGR), pp. 107–122.
TAGT-1998-Grosse-RhodePS #graph transformation
Refinements of Graph Transformation Systems via Rule Expressions (MGR, FPP, MS), pp. 368–382.
CCPSD-1991-CramerFGG #component #towards
Towards a Formally Based Component Description Language (JC, WF, MG, MGR), pp. 358–378.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.