WorldCat Identities

Rozenberg, Grzegorz

Overview
Works: 434 works in 1,530 publications in 3 languages and 23,827 library holdings
Genres: Conference papers and proceedings  Handbooks and manuals 
Roles: Editor, Author, Other, Honoree, Dedicatee, Performer
Classifications: QA76, 511.3
Publication Timeline
.
Most widely held works by Grzegorz Rozenberg
The mathematical theory of L systems by Grzegorz Rozenberg( Book )

21 editions published between 1974 and 1980 in English and held by 407 WorldCat member libraries worldwide

L systems by Grzegorz Rozenberg( Book )

22 editions published between 1974 and 2007 in 3 languages and held by 349 WorldCat member libraries worldwide

Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings by J. W. de Bakker( Book )

15 editions published in 1991 in English and held by 312 WorldCat member libraries worldwide

"Over the last few years, object-oriented programming has been recognized as the best way currently available of structuring software systems. It emphasizes grouping together data and the operations performed on them, encapsulating the whole behind a clean interface, and organizing the resulting entities in a hierarchy based on specialization in functionality. In this way it provides excellent support for the construction of large systems. Up to now, there has been relatively little effort to develop formal theories of object-oriented programming. However, for the field to mature, a more formal understanding of the basic concepts of object-oriented programming is necessary. This volume presents the proceedings of the School/Workshop on Foundations of Object-Oriented Programming (FOOL) held in Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. The workshop was an activity of the project REX (Research and Education in Concurrent Systems)."--PUBLISHER'S WEBSITE
Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings by J. W. de Bakker( Book )

15 editions published in 1990 in English and held by 297 WorldCat member libraries worldwide

"The stepwise refinement method postulates a system construction route that starts with a high-level specification, goes through a number of provably correct development steps, and ends with an executable program. The contributions to this volume survey the state of the art in this extremely active research area. The world's leading specialists in concurrent program specification, verification, and the theory of their refinement present latest research results and surveys of the fields. State-based, algebraic, temporal logic oriented and category theory oriented approaches are presented. Special attention is paid to the relationship between compositionality and refinement for distributed programs. Surveys are given of results on refinement in partial-order based approaches to concurrency. A unified treatment is given of the assumption/commitment paradigm in compositional concurrent program specification and verification, and the extension of these to liveness properties. Latest results are presented on specifying and proving concurrent data bases correct, and deriving network protocols from their specifications."--Publisher's website
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 by Volker Claus( Book )

17 editions published between 1979 and 1980 in 4 languages and held by 296 WorldCat member libraries worldwide

Current trends in concurrency : overviews and tutorials by J. W. de Bakker( Book )

10 editions published in 1986 in English and held by 289 WorldCat member libraries worldwide

Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988 by J. W. de Bakker( Book )

12 editions published in 1989 in English and Undetermined and held by 275 WorldCat member libraries worldwide

"This volume is based on the "School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency" organized by the editors and held in the period May 30-June 3, 1988 at Noordwijkerhout, The Netherlands. The School/Workshop was an activity of the project REX - Research and Education in Concurrent Systems. The volume contains tutorials and research contributions to the three approaches - linear time, - branching time, and - partial order in semantics and proof theory of concurrent programs by the main specialists in this field. It promotes an in-depth understanding of the relative merits and disadvantages of these three approaches. An introduction to the recent literature on the subject is provided by the invited research contributions.''--Publisher's website
Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, the Netherlands, November 25-29, 1996 by Grzegorz Rozenberg( Book )

17 editions published in 1998 in English and held by 270 WorldCat member libraries worldwide

This volume originates from the School on Embedded Systems held in Veldhoven, The Netherlands, in November 1996 as the first event organized by the European Educational Forum. Besides thoroughly reviewed and revised chapters based on lectures given during the school, additional papers have been solicited for inclusion in the present book in order to complete coverage of the relevant topics. The authors adress professionals involved in the design and management of embedded systems in industry as well as researchers and students interested in a competent survey. The book will convince the reader that many architectural and algorithmic problems in the area of embedded systems have well documented optimal or correct solutions, notably in the fields of real-time computing, distributed computing, and fault-tolerant computing
Application of Petri nets to communication networks : advances in Petri nets by Jonathan Billington( Book )

17 editions published between 1999 and 2010 in English and held by 264 WorldCat member libraries worldwide

Annotation Petri nets offer a mathematically defined technique for the specification, design, analysis, verification & performance evaluation of concurrent distributed systems. They offer not only precise semantics & a theoretical foundation, but also a graphical form that facilitates the understanding of both information & control flow within the same formalism. As an intuitively appealing graphical form of presentation, Petri nets are the model of choice in various applications. Communications networks, ranging from traditional telecommunication systems to advanced Internet-based information services, are inherently distributed & comprise systems with concurrently operating components. This volume presents a selection of the latest advances in the use of Petri nets for the modeling, analysis & management of communication networks & systems in the broadest sense of these terms
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht by Jan Mycielski( Book )

18 editions published in 1997 in English and held by 263 WorldCat member libraries worldwide

This book is dedicated to Andrzej Ehrenfeucht on the occasion of his 65th birthday. On personal invitation by the volume editors, 22 internationally well-known scientists from mathematical logics and theoretical computer science participated in this project honoring an excellent scientist with excellent papers centered around his scientific work. The 22 invited papers are presented in topical sections on model theory, games and logic, graphs and algorithms, pattern matching and learning, combinatorics of words, algebra of languages, formal language theory, and computational molecular biology
Concurrent object-oriented programming and Petri nets : advances in Petri nets by Gul A Agha( Book )

17 editions published in 2001 in English and held by 249 WorldCat member libraries worldwide

Concurrency and distribution have become the dominant paradigm and concern in computer science. Despite the fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topic of study. This book presents state-of-the-art results on Petri nets and concurrent object-oriented programming in a coherent and competent way. The 24 thoroughly reviewed and revised papers are organized in three sections. The first consists of long papers, each presenting a detailed approach to integrating Petri nets and object-orientation. Section II includes shorter papers with emphasis on concrete examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation
Aspects of molecular computing : essays dedicated to Tom Head on the occasion of his 70th birthday by Nataša Jonoska( Book )

15 editions published between 2004 and 2005 in English and held by 238 WorldCat member libraries worldwide

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
Handbook of graph grammars and computing by graph transformation by Grzegorz Rozenberg( Book )

38 editions published between 1997 and 2003 in 3 languages and held by 229 WorldCat member libraries worldwide

Graph grammars originated in the late 60s, motivated by considerations about how pattern recognition and compilier construction. Since then the list of areas which have interacted with the development of graph grammars has grown. Besides the aforementioned areas it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. Volume two, APPLICATIONS, LANGUAGES AND TOOLS, considers applications to functional languages, visual and object-oriented languages, software engineering, mechanical engineering, chemical process engineering, and images. It also presents implemented specification languages and tools, and structuring and modularization concepts for specification languages
Formal and natural computing : essays dedicated to Grzegorz Rozenberg by Wilfried Brauer( Book )

16 editions published in 2002 in English and held by 221 WorldCat member libraries worldwide

Annotation
Lectures on concurrency and Petri nets : advances in Petri nets by Jörg Desel( Book )

21 editions published in 2004 in English and held by 215 WorldCat member libraries worldwide

This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational aspects of Petri nets will appreciate the book as well
Nanotechnology : science and computation by Junghuei Chen( Book )

9 editions published between 2006 and 2011 in English and held by 162 WorldCat member libraries worldwide

Nanoscale science and computing 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 provides an authoritative survey on the research in nanoscale science, engineering and computing
Current trends in theoretical computer science : the challenge of the new century by Gheorghe Păun( Book )

24 editions published in 2004 in English and Undetermined and held by 108 WorldCat member libraries worldwide

This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 20002003. It presents many of the most active current research lines in theoretical computer science. The material appears in two volumes, "Algorithms and Complexity" and "Formal Models and Semantics", reflecting the traditional division of the field. The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not presuppose much knowledge of the area in question. Therefore, the book constitutes very suitable supplementary reading material for various courses and seminars in computer science
Current trends in theoretical computer science : entering the 21st century by Gheorghe Păun( Book )

12 editions published between 1993 and 2001 in English and Undetermined and held by 97 WorldCat member libraries worldwide

The scientific developments at the end of the past millennium were dominated by the huge increase and diversity of disciplines with the common label "computer science". The theoretical foundations of such disciplines have become known as "theoretical computer science". This book highlights some key issues of theoretical computer science as they seem to us now, at the beginning of the new millennium. The text is based on columns and tutorials published in the "Bulletin of the European Association for Theoretical Computer Science" in the period 1995-2000. The columnists themselves selected the material they wanted for this book, and the editors had a chance to update their work. Indeed, much of the material presented here appears in a form quite different from the original. Since the presentation of most of the articles is reader-friendly and does not presuppose much knowledge of the area, the book constitutes suitable supplementary reading material for various courses in computer science
Membrane computing : international workshop, WMC 2003 : Tarragona, Spain, July 17-22, 2003 : revised papers by Carlos Martín Vide( )

17 editions published between 2004 and 2012 in English and Undetermined and held by 45 WorldCat member libraries worldwide

Annotation
Rainbow of computer science : dedicated to Hermann Maurer on the occasion if his 70th birthday by Cristian Calude( )

11 editions published in 2011 in English and held by 45 WorldCat member libraries worldwide

This book is dedicated to Hermann Maurer on the occasion of his 70th birthday. The title word Rainbow reflects the beauty and variety of the achievements of this outstanding scientist, and also the diversity and depth of current research in computer science. The high admiration that Professor Maurer enjoys in the computer science community all over the world was witnessed by the enthusiastic response received to the request to contribute to this book. The contributors are leading researchers, also representing the diversity of computer science. The research areas included in the book range from Automata, Formal Languages and Computability to various aspects of the Practice of Computer Science, as well as from Algorithmics to Learning. The book consists of a brief Preface describing the achievements of Professor Maurer, followed by twenty articles roughly grouped together according to their topics. Most of the articles are written in a style understandable to a wider audience. The book is useful to anyone interested in recent developments in computer science
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.60 (from 0.01 for Current tr ... to 0.78 for Linear tim ...)

WorldCat IdentitiesRelated Identities
L systems
Alternative Names
Grzegorz Rozenberg Polish mathematician and computer scientist

Grzegorz Rozenberg polnisch-niederländischer Informatiker

Grzegorz Rozenberg Pools wiskundige

Rozenberg, G.

Rozenberg, G. 1942-

Rozenberg, G. (Grzegorz)

ローゼンバーグ, G

Languages
English (334)

Italian (3)

German (2)

Covers
L systemsFoundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedingsStepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedingsGraph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978Current trends in concurrency : overviews and tutorialsLinear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988Lectures on embedded systems : European Educational Forum School on Embedded Systems, Veldhoven, the Netherlands, November 25-29, 1996Application of Petri nets to communication networks : advances in Petri nets