×

Found 303 Documents (Results 1–100)

On the category of finite-dimensional representations of \(\mathrm{OSp}(r\vert 2n)\). I. (English) Zbl 1425.17007

Krause, Henning (ed.) et al., Representation theory – Current trends and perspectives. In part based on talks given at the last joint meeting of the priority program in Bad Honnef, Germany, in March 2015. Zürich: European Mathematical Society (EMS). EMS Ser. Congr. Rep., 109-170 (2017).
MSC:  17B10 17A70
PDFBibTeX XMLCite
Full Text: arXiv

Graph and model transformation. General framework and applications. (English) Zbl 1341.68002

Monographs in Theoretical Computer Science. An EATCS Series. Berlin: Springer (ISBN 978-3-662-47979-7/hbk; 978-3-662-47980-3/ebook). xi, 472 p. (2015).
PDFBibTeX XMLCite
Full Text: DOI

Rule-based modeling and static analysis of self-adaptive systems by graph transformation. (English) Zbl 1398.68092

De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer (ISBN 978-3-319-15544-9/pbk). Lecture Notes in Computer Science 8950, 582-601 (2015).
MSC:  68N30 68Q42 68T05
PDFBibTeX XMLCite
Full Text: DOI

Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements. (English) Zbl 1367.68134

Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 141-155 (2012).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Parallelism and concurrency of stochastic graph transformations. (English) Zbl 1367.68137

Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 96-110 (2012).
MSC:  68Q42 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. (English) Zbl 1246.68030

Lecture Notes in Computer Science 7562. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). xi, 427 p. (2012).
MSC:  68-06 68Q42 00B25
PDFBibTeX XMLCite
Full Text: DOI

Confluence in data reduction: bridging graph transformation and kernelization. (English) Zbl 1357.68286

Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 193-202 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Parallel independence of amalgamated graph transformations applied to model transformation. (English) Zbl 1309.68106

Engels, Gregor (ed.) et al., Graph transformations and model-driven engineering. Essays dedicated to Manfred Nagl on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-17321-9/pbk). Lecture Notes in Computer Science 5765, 121-140 (2010).
MSC:  68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Multi-amalgamation in adhesive categories. (English) Zbl 1306.68071

Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 346-361 (2010).
MSC:  68Q42 18A30 18A35
PDFBibTeX XMLCite
Full Text: DOI

Local confluence for rules with nested application conditions. (English) Zbl 1306.68068

Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 330-345 (2010).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI Link

Finitary \(\mathcal{M}\)-adhesive categories. (English) Zbl 1306.68121

Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 234-249 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Formal analysis of functional behaviour for model transformations based on triple graph grammars. (English) Zbl 1306.68074

Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 155-170 (2010).
MSC:  68Q42 68P15
PDFBibTeX XMLCite
Full Text: DOI Link

Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. (English) Zbl 1196.68007

Lecture Notes in Computer Science 6372. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). xii, 419 p. (2010).
MSC:  68-06 68Q42 00B25
PDFBibTeX XMLCite
Full Text: DOI

Correctness, completeness and termination of pattern-based model-to-model transformation. (English) Zbl 1239.68026

Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 383-397 (2009).
MSC:  68N30 68R10
PDFBibTeX XMLCite
Full Text: DOI Link

Behavior-preserving simulation-to-animation model and rule transformations. (English) Zbl 1283.68183

König, Barbara (ed.) et al., Proceedings of the 3rd workshop on graph transformation for concurrency and verification (GT-VC 2007), Lisbon, Portugal, September 3, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 213, No. 1, 55-74 (2008).
MSC:  68Q42 05C62
PDFBibTeX XMLCite
Full Text: DOI

A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams. (English) Zbl 1283.68206

Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 261-269 (2008).
MSC:  68Q60 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Efficient conflict detection in graph transformation systems by essential critical pairs. (English) Zbl 1283.68185

Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 17-26 (2008).
MSC:  68Q42 05C62
PDFBibTeX XMLCite
Full Text: DOI

Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. (English) Zbl 1277.68194

Ehrig, H. (ed.) et al., Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 6, 43-66 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007. (English) Zbl 1276.68014

Electronic Notes in Theoretical Computer Science 203, No. 6. Amsterdam: Elsevier. 88 p., electronic only (2008).
PDFBibTeX XMLCite
Full Text: Link

Open Petri nets: Non-deterministic processes and compositionality. (English) Zbl 1175.68269

Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 257-273 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Behavior preservation in model refactoring using DPO transformations with borrowed contexts. (English) Zbl 1175.68231

Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 242-256 (2008).
MSC:  68Q42 68N30
PDFBibTeX XMLCite
Full Text: DOI

Semantical correctness and completeness of model transformations using graph and rule transformation. (English) Zbl 1175.68221

Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 194-210 (2008).
MSC:  68Q42 68N30 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Formal analysis of model transformations based on triple graph rules with kernels. (English) Zbl 1175.68222

Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 178-193 (2008).
MSC:  68Q42 68N30
PDFBibTeX XMLCite
Full Text: DOI

Embedding and confluence of graph transformations with negative application conditions. (English) Zbl 1175.68227

Ehrig, Hartmut (ed.) et al., Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). Lecture Notes in Computer Science 5214, 162-177 (2008).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Graph transformations. 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7–13, 2008. Proceedings. (English) Zbl 1148.68002

Lecture Notes in Computer Science 5214. Berlin: Springer (ISBN 978-3-540-87404-1/pbk). xiii, 523 p. (2008).
PDFBibTeX XMLCite
Full Text: DOI

Transformations in reconfigurable place/transition systems. (English) Zbl 1144.68043

Degano, Pierpaolo (ed.) et al., Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-540-68676-7/pbk). Lecture Notes in Computer Science 5065, 96-113 (2008).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: DOI

A logic of graph constraints. (English) Zbl 1171.68516

Fiadeiro, José Luiz (ed.) et al., Fundamental approaches to software engineering. 11th international conference, FASE 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78742-6/pbk). Lecture Notes in Computer Science 4961, 179-198 (2008).
MSC:  68Q42 68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Deriving bisimulation congruences in the presence of negative application conditions. (English) Zbl 1139.68043

Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 413-427 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Termination criteria for DPO transformations with injective matches. (English) Zbl 1278.68123

Rensink, Arend (ed.) et al., Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 4, 87-100 (2007).
MSC:  68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Independence of net transformations and token firing in reconfigurable place/transition systems. (English) Zbl 1226.68052

Kleijn, Jetty (ed.) et al., Petri nets and other models of concurrency – ICATPN 2007. 28th international conference on applications and theory of Petri nets and other models of concurrency, ICATPN 2007, Siedlce, Poland, June 25–29, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73093-4/pbk). Lecture Notes in Computer Science 4546, 104-123 (2007).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Bisimilarity and behaviour-preserving reconfigurations of open Petri nets. (English) Zbl 1214.68243

Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 126-142 (2007).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

From algebraic graph transformation to adhesive HLR categories and systems. (English) Zbl 1149.68043

Bozapalidis, Symeon (ed.) et al., Algebraic informatics. Second international conference, CAI 2007, Thessaloniki, Greece, May 21–25, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-75413-8/pbk). Lecture Notes in Computer Science 4728, 122-146 (2007).
MSC:  68Q42
PDFBibTeX XMLCite
Full Text: DOI

Termination analysis of model transformations by Petri nets. (English) Zbl 1156.68501

Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 260-274 (2006).
MSC:  68Q85 68N30 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Categorical foundations of distributed graph transformation. (English) Zbl 1157.68039

Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 215-229 (2006).
MSC:  68Q42 18A10 18A30 18E15 68R10
PDFBibTeX XMLCite
Full Text: DOI

Composition and decomposition of DPO transformations with borrowed context. (English) Zbl 1156.68417

Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 153-167 (2006).
MSC:  68Q42 18A30
PDFBibTeX XMLCite
Full Text: DOI

Molecular analysis of metabolic pathway with graph transformation. (English) Zbl 1156.92316

Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 107-121 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Conflict detection for graph transformation with negative application conditions. (English) Zbl 1156.68431

Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 61-76 (2006).
MSC:  68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. (English) Zbl 1147.68003

Lecture Notes in Computer Science 4178. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). xii, 473 p. (2006).
PDFBibTeX XMLCite
Full Text: DOI

Weak adhesive high-level replacement categories and systems: a unifying framework for graph and Petri net transformations. (English) Zbl 1133.68055

Futatsugi, Kokichi (ed.) et al., Algebra, meaning and computation. Essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday. Berlin: Springer (ISBN 3-540-35462-X/pbk). Lecture Notes in Computer Science 4060, 235-251 (2006).
MSC:  68Q85 18A35 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the workshop on Petri nets and graph transformations (PNGT 2004), Rome, Italy, September 28 – October 2, 2004. (English) Zbl 1271.68033

Electronic Notes in Theoretical Computer Science 127, No. 2. Amsterdam: Elsevier. 120 p., electronic only (2005).
PDFBibTeX XMLCite
Full Text: Link

High-level nets with nets and rules as tokens. (English) Zbl 1128.68063

Ciardo, Gianfranco (ed.) et al., Applications and theory of Petri nets 2005. 26th international conference, ICATPN 2005, Miami, Fl., USA, June 20–25, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26301-2/pbk). Lecture Notes in Computer Science 3536, 268-288 (2005).
MSC:  68Q85 68Q42 68Q65
PDFBibTeX XMLCite
Full Text: DOI

Termination criteria for model transformation. (English) Zbl 1119.68344

Cerioli, Maura (ed.), Fundamental approaches to software engineering. 8th international conference, FASE 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25420-X/pbk). Lecture Notes in Computer Science 3442, 49-63 (2005).
MSC:  68N30 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Parallel graph transformation for model simulation applied to timed transition Petri nets. (English) Zbl 1271.68118

Heckel, Reiko (ed.), Proceedings of the workshop on graph transformation and visual modelling techniques (GT-VMT 2004), Barcelona, Spain, March 27–28, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 109, 17-29 (2004).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: Link

Integrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation. (English) Zbl 1129.68420

Wermelinger, Michel (ed.) et al., Fundamental approaches to software engineering. 7th international conference, FASE 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21305-8/pbk). Lecture Notes in Computer Science 2984, 214-228 (2004).
MSC:  68N99 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Deriving bisimulation congruences in the DPO approach to graph rewriting. (English) Zbl 1126.68446

Walukiewicz, Igor (ed.), Foundations of software science and computation structures. 7th international conference, FOSSACS 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Procedings. Berlin: Springer (ISBN 3-540-21298-1/pbk). Lecture Notes in Computer Science 2987, 151-166 (2004).
MSC:  68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Constraints and application conditions: From graphs to high-level structures. (English) Zbl 1116.68479

Ehrig, Hartmut (ed.) et al., Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23207-9/pbk). Lecture Notes in Computer Science 3256, 287-303 (2004).
MSC:  68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Fundamental theory for typed attributed graph transformation. (English) Zbl 1116.68481

Ehrig, Hartmut (ed.) et al., Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23207-9/pbk). Lecture Notes in Computer Science 3256, 161-177 (2004).
MSC:  68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

Adhesive high-level replacement categories and systems. (English) Zbl 1116.68480

Ehrig, Hartmut (ed.) et al., Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23207-9/pbk). Lecture Notes in Computer Science 3256, 144-160 (2004).
MSC:  68Q42 68R10
PDFBibTeX XMLCite
Full Text: DOI

On the relevance of high-level net processes. (English) Zbl 1063.68608

Păun, G. (ed.) et al., Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific (ISBN 981-238-965-2/hbk; 981-238-783-8/set). 89-93 (2004).
MSC:  68Q85
PDFBibTeX XMLCite

Bigraphs meet double pushouts. (English) Zbl 1063.68072

Păun, G. (ed.) et al., Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific (ISBN 981-238-965-2/hbk; 981-238-783-8/set). 27-40 (2004).
MSC:  68Q65 68Q85
PDFBibTeX XMLCite

The role of mathematics and formal specification techniques in software system development. (English) Zbl 1063.68604

Păun, G. (ed.) et al., Current trends in theoretical computer science. The challenge of the new century. Vol. 2: Formal models and semantics. River Edge, NJ: World Scientific (ISBN 981-238-965-2/hbk; 981-238-783-8/set). 5-14 (2004).
MSC:  68Q65
PDFBibTeX XMLCite

Graph transformations. Second international conference, ICGT 2004, Rome, Italy, September 28 – October 2, 2004. Proceedings. (English) Zbl 1056.68008

Lecture Notes in Computer Science 3256. Berlin: Springer (ISBN 3-540-23207-9/pbk). xii, 451 p. (2004).
MSC:  68-06 68N30 00B25
PDFBibTeX XMLCite
Full Text: DOI

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY. (English) Zbl 1283.68257

Ehrig, Hartmut (ed.) et al., Petri net technology for communication-based systems. Advances in Petri nets. Berlin: Springer (ISBN 3-540-20538-1/pbk). Lecture Notes in Computer Science 2472, 1-21 (2003).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Basic results for two types of high-level replacement systems. (English) Zbl 1263.68073

Bauderon, Michel (ed.) et al., GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 51, 127-138 (2002).
MSC:  68Q42 18A30
PDFBibTeX XMLCite
Full Text: DOI

A generic component framework for system modeling. (English) Zbl 1059.68543

Kutsche, Ralf-Detlef (ed.) et al., Fundamental approaches to software engineering. 5th international conference, FASE 2002. Held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43353-8). Lect. Notes Comput. Sci. 2306, 33-48 (2002).
MSC:  68N30 68Q85
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software