Grzegorz Rozenberg - Böcker

The Mathematical Theory of L Systems

Läs mer »

This Festschrift is in honor of Mario de Jess Prez-Jimnez, 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., ...

Läs mer »

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. The 15 papers presented in this volume were carefully reviewed and...

Läs mer »

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 pa...

Läs mer »

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Membrane Computing, CMC 2014, held in Prague, Czech Republic, in August 2014. The 19 revised selected papers presented together with ...

Läs mer »

This book constitutes revised selected papers from the International Conference on Membrane Computing, CMC 2015, held in Valencia, Spain, in August 2015. The 22 full papers presented in this volume were carefully reviewed and selected from 34 subm...

Läs mer »

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 submiss...

Läs mer »

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 submiss...

Läs mer »

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 Petris work. The second part of ...

Läs mer »

As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing fabrication process features, which a?ect for example the gate-to-wire delay ratio. The...

Läs mer »

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...

Läs mer »

The signing of a contract ¿ a tree-structured application modelled with petri net building blocks.- Checking properties of nets using transformations.- Petri nets and algebraic calculi of processes.- Fair controls and their realization.- Beta proc...

Läs mer »

Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed computation.- Contrasting themes in the semantics of imperative concurrency.- Functional programming and the language tale.- Design, specification and...

Läs mer »

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 formatio...

Läs mer »

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 v...

Läs mer »

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 ann...

Läs mer »

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 reco...

Läs mer »

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- elingcom...

Läs mer »

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 c...

Läs mer »

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 outs...

Läs mer »

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 model...

Läs mer »

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 fa...

Läs mer »

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 200...

Läs mer »

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 collabo...

Läs mer »

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 th...

Läs mer »

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 Intellig...

Läs mer »

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...

Läs mer »

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...

Läs mer »