Grzegorz Rozenberg - Böcker
Visar alla böcker från författaren Grzegorz Rozenberg. Handla med fri frakt och snabb leverans.
98 produkter
98 produkter
2 106 kr
Skickas inom 5-8 vardagar
Part of the broader research field of natural computing, Membrane Computing is an area within computing science that aims to abstract computing ideas and models from the structure and functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. It studies models of computation (known as P systems) inspired by the biochemistry of cells, in particular by the role of membranes in the compartmentalization of living cells into "protected reactors".This handbook provides both a comprehensive survey of available knowledge and established research topics, and a guide to recent developments in the field, covering the subject from theory to applications. The handbook is suitable both for introducing novices to this area of research, and as a main source of reference for active researchers. It sets out the necessary biological and formal background, with the introductory chapter serving as a gentle introduction to and overview of membrane computing. Individual chapters, written by leading researchers in membrane computing, present the state of the art of all main research trends and include extensive bibliographies.
Del 11270 - Lecture Notes in Computer Science
Enjoying Natural Computing
Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This Festschrift is in honor of Mario de Jesús Pérez-Jiménez, Professor in the Department of Computer Science of University of Seville, Spain, on the occasion of his 70th birthday. The title of this volume reflects both his main research area, viz., Natural Computing, and the guiding principle of his functioning: “once you choose to do something, enjoy doing it".The respect that Professor Mario de Jesús Pérez-Jiménez enjoys in the scientific community was well demonstrated by the enthusiastic response received to the request to contribute to this book. The contributions by more than 70 authors from 15 countries cover a wide spectrum of research areas and reflect well the broad range of research interests of Professor Mario de Jesús Pérez-Jiménez. The research areas presented in this Festschrift include membrane computing, spiking neural networks, phylogenetic networks, ant colonies optimization, workbench for biocomputing, reaction systems, entropy of computation, rewriting systems, and insertion-deletion systems.
Del 11399 - Lecture Notes in Computer Science
Membrane Computing
19th International Conference, CMC 2018, Dresden, Germany, September 4–7, 2018, Revised Selected Papers
Häftad, Engelska, 2019
552 kr
Skickas inom 10-15 vardagar
This book constitutes revised selected papers from the 19th International Conference on Membrane Computing (CMC19), CMC 2018, which was held in Dresden, Germany, in September 2018.
Membrane Computing
21st International Conference, CMC 2020, Virtual Event, September 14–18, 2020, Revised Selected Papers
Häftad, Engelska, 2021
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed post-conference proceedings of the 21st International Conference on Membrane Computing, CMC 2020, held as a virtual event, in September 2020. The 10 full papers presented were selected from 31 submissions. The papers deal with all aspects on membrane computing and related areas.
Del 8961 - Lecture Notes in Computer Science
Membrane Computing
15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers
Häftad, Engelska, 2015
552 kr
Skickas inom 10-15 vardagar
In addition, two papers selected from the 22 papers presented at the regional version of CMC, the Asian Conference on Membrane Computing , ACMC 2014, held in Coimbatore, India, are included.
Del 9504 - Lecture Notes in Computer Science
Membrane Computing
16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers
Häftad, Engelska, 2016
552 kr
Skickas inom 10-15 vardagar
This bookconstitutes revised selected papers from the International Conference onMembrane Computing, CMC 2015, held in Valencia, Spain, in August 2015. The 22 fullpapers presented in this volume were carefully reviewed and selected from 34submissions. The volume also contains 3 invited talks in full-paper length.
Del 10105 - Lecture Notes in Computer Science
Membrane Computing
17th International Conference, CMC 2016, Milan, Italy, July 25-29, 2016, Revised Selected Papers
Häftad, Engelska, 2017
552 kr
Skickas inom 10-15 vardagar
This book contains revised selected papers from the 17th International Conference on Membrane Computing, CMC 2017, held in Milan, Italy, in July 2016. The 19 full papers presented in this volume were carefully reviewed and selected from 28 submissions.
Del 10725 - Lecture Notes in Computer Science
Membrane Computing
18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers
Häftad, Engelska, 2018
552 kr
Skickas inom 10-15 vardagar
This book contains revised selected papers from the 18th International Conference on Membrane Computing, CMC 2017, held in Bradford, UK, in July 2017.The 18 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They deal with membrane computing (P systems theory), an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. The volume also contains 2 invited talks.
483 kr
Skickas inom 10-15 vardagar
This book offers an overview of the key ideas of Petri nets, how they were developed, and how they were applied in diverse applications.The chapters in the first part offer individual perspectives on the impact of Petri’s work. The second part of the book contains personal memories from researchers who collaborated with him closely, in particular they recount his unique personality. The chapters in the third part offer more conventional treatments on various aspects of current Petri net research, and the fourth part examines the wide applications of Petri nets, and the relationships with other domains.The editors and authors are the leading researchers in this domain, and this book will be a valuable insight for researchers in computer science, particularly those engaged with concurrency and distributed systems.
552 kr
Skickas inom 10-15 vardagar
This LNCS State-of-the-Art Survey is devoted to the relatively old and well-known behavioral paradigm in computing, concurrency, and to the ways in which concurrency is exhibited or can be exploited in digital hardware devices. The nine chapters presented are organized in four parts on formal methods, asynchronous circuits, embedded systems design, and timed verification and performance analysis.
Membrane Computing
International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August 19-23, 2002, Revised Papers
Häftad, Engelska, 2003
552 kr
Skickas inom 10-15 vardagar
This volume originated in the Workshop on Membrane Computing, WMC- CdeA 2002, which took place in Curtea de Arge, s, Romania, during August 19- 23, 2002.This was the third annual workshop held in Curtea de Arge,s.The ?rst one, Workshop on Multiset Processing, WMP-CdeA 2000, took place in August 2000, and the proceedings were published in Lecture Notes in Computer Science, volume 2235.The second one, Workshop on Membrane Comp- ing, WMC-CdeA 2001, took place in August 2001, and selected papers were published as a special issue of Fundamenta Informaticae, volume 49, numbers 1-3, 2002. The aim of these workshops is to provide a stimulating environment for - searchers working in the area covered by a given workshop, so that existing sci- ti?c collaborations can be strengthened, and new collaborations (and friendships) can be initiated.Indeed, all three workshops held up to now were of such ch- acter, with very international attendance and collaboration taking place across national and scienti?c boundaries.
552 kr
Skickas inom 10-15 vardagar
1 096 kr
Skickas inom 10-15 vardagar
Petri Nets: Central Models and Their Properties
Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986
Häftad, Engelska, 1987
552 kr
Skickas inom 10-15 vardagar
Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis of concurrent systems. They are used in many areas of computer science including software engineering, data base and in formation systems, computer architecture and operating systems, communication protocols and computer networks, process control, and socio-technical systems such as office communication and man-machine interaction. Quite substantial theory has been developed for Petri Nets. It reflects all major problem areas of concurrent distributed systems and covers many successfully applied principles and analysis techniques for systems organisation. Since the time that C. A. Petri has presented his original ideas, a rich body of knowledge has been developed-a recent bibliography (in Advances in Petri Nets 1981) includes more than 2000 entries. Already in 1979 an Advanced Course on Petri Nets was organized in Hamburg, West Germany, aiming at systematizing the existing knowledge and making it well accessible to a wide audience of computer scientists interested in theory and applications of concurrent systems. This course has turned out to be successful in the sense that it has initiated a lot of new research into applications and theory of Petri Nets. This had led to· another Advanced Course in 1986 in Bad Honnef, West Germany - where during two weeks more than 30 lectures were presented covering the most important current developments in the area of Petri Nets.
Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
Part 2: Petri Nets: Applications and Relationships to Other Models of Concurrency
Häftad, Engelska, 1987
552 kr
Skickas inom 10-15 vardagar
The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship of petri nets to other concurrency models. These current issues of the "Advances in Petri Nets" present the most significant recent results in the application and theory of petri nets to the broad computer science community. They particularly address those who are: - interested in systems design and would like to learn to use petri nets, - familiar with subareas of the theory or the applications of nets and wish to become acquainted with the whole area, - interested in learning about recent results presented within a unified framework, - going to learn about successfully applying petri nets in - various practical situations, - interested in the relationship of petri nets to other models of concurrent systems.
552 kr
Skickas inom 10-15 vardagar
The aim of these series of volumes "Advances in Petri Nets" is to present to the general computer science community the most significant recent results with regard to the development in the area. The main source of the papers are the annual European Workshops on Applications and Theory of Petri Nets"; the highest ranked papers from the past workshops are considered for the series, i. e. , they are again reviewed and accordingly revised or extended. In addition to the workshop papers, the "Advances" also present invited papers. The present volume Advances in Petri Nets 1987 covers the 7th "European Workshop on Applications and Theory of Petri Nets" held in Oxford, Great Britain, in June 1986. It also contains a survey on complexity of problems related to Petri nets written by R. R. Howell and L. E. Rosier. A special feature of this volume is a bibliography on Petri nets, containing more than 2000 entries.
Graph-Grammars and Their Application to Computer Science
3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
Häftad, Engelska, 1987
1 064 kr
Skickas inom 10-15 vardagar
The generic term "graph-grammars" refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition - since then the list of areas which have interacted with the development of graph-grammars has grown quite impressively. It includes pattern recognition, software specification and development, VLSI layout schemes, data bases, lambda-calculus, analysis of concurrent systems, massively parallel computer architectures, incremental compilers, computer animation, complexity theory, developmental biology, music composition, representation of physical solids, and many others. This volume is based on the contributions presented at the third international workshop on graph-grammars and their applications, held in Warrenton, Virginia, USA in December 1986. Aiming at the best possible representation of the field not all of the papers presented at the meeting appear in this volume and some of the papers from this volume were not presented at the workshop. The volume consists of two parts: Part I presents tutorial introductions to a number of basic graph and map rewriting mechanisms. Part II contains technical contributions. This collection of papers provides the reader with an up-to-date overview of current trends in graph-grammars.
536 kr
Skickas inom 10-15 vardagar
This volume, "Petri Net Technology for Communication-Based Systems," is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new Petri net notions and techniques can be used for m- elingcommunication-basedsystems,withspecialfocusonwork?owmanagement and business processes. In the last 6 years this topic has been studied by the DFG Forschergruppe Petri Net Technology in Berlin in close cooperation with the international c- munity. The main results of this cooperation were presented at the 1st and 2nd InternationalColloquiaonPetriNetTechnologiesforModelingCommunication- Based Systems, held in Berlin in 1999 and 2001,respectively. A careful selection of contributions by members of the DFG Forschergruppe and by international experts in this ?eld are presented in this volume. Taking into account the fru- ful discussions during the two colloquia and the cross-refereeing process for the accepted papers, a high degree of common understanding was achieved, leading to a highly comprehensive presentation in this volume. The topics of the papers in this volume can be roughly classi?ed into the following two areas: - Petri net technology and - application to communication-based systems.Since most papers comprise aspects of both areas, we chose an alphabetic order. However, in the following we give a rough overview of the contributions in both areas according to the main focus of the corresponding papers.
Aspects of Molecular Computing
Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
Häftad, Engelska, 2003
536 kr
Skickas inom 10-15 vardagar
Molecular computing is a rapidly growing subarea of natural computing. On the one hand, molecular computing is concerned with the use of bio-molecules for the purpose of actual computations while, on the other hand, it attempts to understand the computational nature of molecular processes going on in living cells.The book presents a unique and authorative state-of-the-art survey on current research in molecular computing: 30 papers by leading researchers in the area are drawn together on the occasion of the 70th birthday of Tom Head, a pioneer in molecular computing. Among the topics addressed are molecular tiling, DNA self-assembly, splicing systems, DNA-based cryptography, DNA word design, gene assembly, and membrane computing.
Membrane Computing
International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, Revised Papers
Häftad, Engelska, 2004
552 kr
Skickas inom 10-15 vardagar
This volume is based on papers presented at the Workshop on Membrane Computing, WMC 2003, which took place in Tarragona, Spain, in the - riod July 17-July 22, 2003. This was the Fourth Annual Membrane Computing Workshop, and the ?rst one held outside Romania. The ?rst three meetings were organized in Curtea de Arge, s, Romania - they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, Vol. 2235), in August 2001 (with a selection of papers published as a special issue of F- damenta Informaticae, Vol. 49, Nos. 1-3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, Vol. 2597). The 2003 workshop was the second workshop of the Molecular Computing Network (MolCoNet) funded by the EU Commission in the Fifth Framework Program Information Society Technologies (project number IST-2001-32008). The preproceedings of WMC 2003 were published as Technical Report 28/03 of theResearchGrouponMathematicalLinguisticsfromRoviraiVirgiliUniversity, Tarragona, and they were available during the workshop.
1 064 kr
Skickas inom 10-15 vardagar
The very ?rst model of concurrent and distributed systems was introduced by C.A. Petri in his seminal Ph.D. thesis in 1964. Petri nets has remained a central model for concurrentsystemsfor40 years,andthey areoften usedasa yardstick for other models of concurrency. As a matter of fact, many other models have been developed since then, and this research area is ?ourishing today. The goal of the 4th Advanced Course on Petri Nets held in Eichsta ..tt, Germany in September 2003 was to present applications and the theory of Petri Nets in the context of a whole range of other models. We believe that in this way the participants of the course received a broad and in-depth picture of research in concurrent and distributed systems. It is also the goal of this volume to convey this picture. The volume is based on lectures given at the Advanced Course, but in order to provide a balanced p- sentation of the ?eld, some of the lectures are not included, and some material not presented in Eichst. att is covered here. In particular, a series of introductory lectures was not included in this volume, as the material they covered is well - tablishedby now,andwellpresentedelsewhere (e.g.,inW.ReisigandG. Roz- berg, eds., "Lectures on Petri Nets," LNCS 1491, 1492, Springer-Verlag, 1997 - these two volumes are based on the 3rd Advanced Course on Petri Nets).
Theory Is Forever
Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday
Häftad, Engelska, 2004
552 kr
Skickas inom 10-15 vardagar
This Festschrift celebrates the 70th birthday of Arto Kustaa Salomaa (born in Turku, Finland on June 6, 1934), one of the most in?uential researchers in theoretical computer science. Most ofhis researchconcernstheory - he is one of the founding fathers of formal language and automata theory, but he has also made important contributions to cryptography and natural computing. His approach to research in theoretical computer science is exemplary and inspirational for his students, collaborators, andthereadersofhispapersandbooks. Forhim,theroleoftheory(incomputer science) is to discover general rules of information processing that hold within computer science and in the world around us. One should not waste time on research concerning passing artifacts (or fashionable topics of the moment) in computer science - theory should be permanently predictive, insightful, and inspiring. That's why we chose the title "Theory is Forever". The main source of his in?uence on theoretical computer science is his publi- tions. Arto is a born writer - his papers and books are always most elegant.He has a unique gift for identifying the real essence of a research problem, and then presenting it in an incisive and eloquent way. He can write about a very involved formal topic and yet avoid a (much too common) overformalization. Many of his writings are genuine jewels and belong to the classics of theoreticalcomputer science. Theyhaveinspiredgenerationsofstudentsandresearchers. Indeed,even computers as well as computer science have learned a lot from Arto's publi- tions - this is nicely illustrated by DADARA on the cover of this volume.
Graph Transformations
Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings
Häftad, Engelska, 2004
536 kr
Skickas inom 10-15 vardagar
ICGT 2004 was the 2nd International Conference on Graph Transformation, following the ?rst one in Barcelona (2002), and a series of six international workshops on graph grammars with applications in computer science between 1978 and 1998. ICGT 2004 was held in Rome (Italy), Sept. 29-Oct. 1, 2004 under the auspices of the European Association for Theoretical Computer S- ence (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP WG 1.3, Foundations of Systems Speci?cation. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful when - scribing complex structures and systems in a direct and intuitive way. These structures are often augmented with formalisms that add to the static descr- tion a further dimension, allowing for the modelling of the evolution of systems via all kinds of transformations of such graphical structures. The ?eld of graph transformation is concerned with the theory, applications, and implementation issues of such formalisms.The theory is strongly related to areas such as graph theory and graph - gorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal speci?cation and veri?cation, logic, and semantics. The application areas include all those ?elds of computer science, information processing,engineering,andthe naturalsciences wherestatic anddynamicm- elling using graphical structures and graph transformations, respectively, play important roles. In many of these areas tools based on graph transformation technology have been implemented and used.
Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Häftad, Engelska, 2005
552 kr
Skickas inom 10-15 vardagar
By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig.The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.
Membrane Computing
5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers
Häftad, Engelska, 2005
552 kr
Skickas inom 10-15 vardagar
This volume is based on papers presented at the5thWorkshoponM- brane Computing, WMC5, which took place in Milan, Italy, in the period June 14-16, 2004, as a satellite event of DNA10 (10th International Workshop on DNA-Based Computing). The ?rst three workshops were organized in Curtea de Arge, s, Romania - they took place in August 2000 (with the proceedings p- lished in Lecture Notes in Computer Science, volume 2235), in August 2001 (with a selection of papers published as a special issue ofFundamenta Inform- icae, volume 49, numbers 1-3, 2002), and in August 2002 (with the proceedings publishedinLectureNotesinComputerScience,volume2597).Thefourthwo- shop took place in Tarragona, Spain, in July 2003 (the proceedings appeared as volume 2933 of Lecture Notes in Computer Science). Like the previous two meetings, also WMC5 was an o?cial workshop of the Molecular Computing Network (MolCoNet) funded by the EU Commission in theFifthFrameworkprogramInformationSocietyTechnologies(projectnumber IST-2001-32008). The preproceedings of WMC5 were published as a MolCoNet report, and they were available during the workshop.This volume contains only a selection of the papers from the preproceedings.
Unconventional Computation
4th International Conference, UC 2005, Sevilla, Spain, October 3-7, Proceedings
Häftad, Engelska, 2005
552 kr
Skickas inom 10-15 vardagar
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the Centre for Discrete Mathematics and Theoretical Computer Science and the Department of C- puter Science and Arti?cial Intelligence of the University of Seville, was held in Seville, October 3–7, 2005. Seville, one of the most beautiful cities in Spain, is at its best in October. An explosion of colour and contrast: ?amenco, bull?ghting, and a lively at- sphere in the streets due to the open and friendly nature of its people. The river Guadalquivir, the Cathedral and the Golden Tower are all places full of magic where the visitor can feel the spirit of a city which is eternally romantic. The series of International Conferences Unconventional Computation (UC),https://www.cs.auckland.ac.nz/CDMTCS/conferences/uc/isdevoted to all aspects of unconventional computation, theory as well as experiments and applications. Typical, but not exclusive, topics are: natural computing including quantum, cellular,molecular, neural and evolutionarycomputing; chaosand - namical systems based computing; and various proposals for computations that go beyond the Turing model. The ?rst venue of the Unconventional Computation Conference (formerly called Unconventional Models of Computation) was Auckland, New Zealand in 1998; subsequent sites of the conference were Brussels, Belgium in 2000 and Kobe, Japan in 2002. The titles of the proceedings volumes from past UC Conferences are as follows: 1. C.S. Calude, J. Casti, M.J. Dinneen (eds.). Unconventional Models of C- putation, Springer-Verlag, Singapore, 1998, viii + 426 pp. ISBN: 981-3083- 69-7.
1 064 kr
Skickas inom 10-15 vardagar
Nanoscale science and computing is becoming a major research area as today's scientists try to understand the processes of natural and biomolecular computing. The field is concerned with the architectures and design of molecular self-assembly, nanostructures and molecular devices, and with understanding and exploiting the computational processes of biomolecules in nature. This book offers a unique and authoritative perspective on current research in nanoscale science, engineering and computing. Leading researchers cover the topics of DNA self-assembly in two-dimensional arrays and three-dimensional structures, molecular motors, DNA word design, molecular electronics, gene assembly, surface layer protein assembly, and membrane computing.The book is suitable for academic and industrial scientists and engineers working in nanoscale science, in particular researchers engaged with the idea of computing at a molecular level.
Membrane Computing
6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
Häftad, Engelska, 2006
552 kr
Skickas inom 10-15 vardagar
The present volume is based on papers presented at the 6th Workshop on M- brane Computing, WMC6, which took place in Vienna, Austria, in the period July 18-21, 2005. The ?rst three workshops were organized in Curtea de Arge, s, Romania - they took place in August 2000 (with the proceedings published in Lecture Notes in Computer Science, volume 2235),in August 2001 (with a sel- tion of papers published as a special issue of Fundamenta Informaticae,volume 49, numbers 1-3, 2002), and in August 2002 (with the proceedings published in Lecture Notes in Computer Science, volume 2597). The fourth and the ?fth workshopswereorganizedinTarragona,Spain,in July2003,andin Milan,Italy, in June 2004, with the proceedings published as volumes 2933 and 3365, resp- tively, of Lecture Notes in Computer Science. The pre-proceedingsof WMC6 were published by the Institute for Computer Languages of the Vienna University of Technology, and they were available d- ing the workshop. Conforming with tradition, this workshop, too, was a lively scienti?c event, with many questions and engaged discussions following pres- tations of papers. Thecurrentvolumeisbasedonaselectionofpapersfromthepre-proceedings.These papers were signi?cantly modi?ed according to the discussions that took placeduringtheworkshop,andalltheselectedpaperswereadditionallyrefereed.
Unconventional Computation
5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings
Häftad, Engelska, 2006
552 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 5th International Conference on Unconventional Computation, UC 2006, held in York, UK, in September 2006. The 17 revised full papers presented together with four invited full papers were carefully reviewed and selected for inclusion in the book. All current aspects of unconventional computation are addressed - theory as well as experiments and applications.
Graph Transformations
Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Häftad, Engelska, 2006
536 kr
Skickas inom 10-15 vardagar
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located with the Brazilian Symposium on Formal Methods (SBMF 2006), under the auspices of the BrazilianComputer Society (SBC), the EuropeanAssociation of Software Science and Technology (EASST), the European Association for Theoretical Computer Science (EATCS) and the IFIP WG 1.3 on Foundations of Systems Speci?cation. The conference obtained partial support from Formal Methods Europe and IFIP TC 1 on Foundations of Computer Science. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams and visual sentences) that are useful when describing complex structures and systems in a direct and intuitive way. These structures are often enriched with formalisms that model their evolution via suitable kinds of transformations. The ?eld of the conference was concerned with the theory, applications, and implementation issues of such formalisms. Particularemphasis wasputonmetamodelswhichcanaccommodateavarietyofgraphicalstructures within the same abstract theory.