A reduced distributed splicing system for RE languages

BOOK CHAPTER published 1997 in New Trends in Formal Languages

Authors: Claudio Zandron | Claudio Ferretti | Giancarlo Mauri

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness

BOOK published 1990 in Lecture Notes in Computer Science

Editors: J. W. de Bakker | W. -P. de Roever | G. Rozenberg

Specification and verification of a real-time field bus with formal description languages

BOOK CHAPTER published 1997 in Transformation-Based Reactive Systems Development

Authors: P. Mariño | F. Poza | M. Domínguez | J. Nogueira

Coordination Languages and Models

BOOK published 1997 in Lecture Notes in Computer Science

Editors: David Garlan | Daniel Le Métayer

A tool to support formal reasoning about computer languages

BOOK CHAPTER published 1997 in Tools and Algorithms for the Construction and Analysis of Systems

Authors: Richard J. Boulton

Basic Notions of Reaction Systems

BOOK CHAPTER published 2004 in Developments in Language Theory

Authors: A. Ehrenfeucht | G. Rozenberg

Linear Algebra Based Bounds for One-Dimensional Cellular Automata

BOOK CHAPTER published 2011 in Descriptional Complexity of Formal Systems

Authors: Jarkko Kari

On mix operation

BOOK CHAPTER published 1997 in New Trends in Formal Languages

Authors: Manfred Kudlek | Alexandru Mateescu

An Index and Other Useful Information

BOOK CHAPTER published 1975 in Lecture Notes in Mathematics

Authors: Springer-Verlag Berlin Heidelberg

Formal specification of beliefs in multi-agent systems

BOOK CHAPTER published 1997 in Intelligent Agents III Agent Theories, Architectures, and Languages

Authors: Massimo Benerecetti | Alessandro Cimatti | Enrico Giunchiglia | Fausto Giunchiglia | Luciano Serafini

Assessment of Environmental Components in Municipal Development Strategies

BOOK CHAPTER published 2021 in Lecture Notes in Networks and Systems

Authors: A. A. Sidorov | G. E. Kudinova | A. G. Rozenberg

Berlinda: An object-oriented platform for implementing coordination languages in Java

BOOK CHAPTER published 1997 in Coordination Languages and Models

Authors: Robert Tolksdorf

Controlled fuzzy parallel rewriting

BOOK CHAPTER published 1997 in New Trends in Formal Languages

Authors: Peter R. J. Asveld

Grammatical inference of colonies

BOOK CHAPTER published 1997 in New Trends in Formal Languages

Authors: Petr Sosík | Leoš Štýbnar

Strong Connectivity Definition of Periodic Fuzzy Graph

BOOK CHAPTER published 2023 in Lecture Notes in Networks and Systems

Authors: Alexander Bozhenyuk | Margarita Knyazeva | Olesiya Kosenko | Igor Rozenberg

Pattern Mining Local Search Heuristics for Dynamic Pickup Delivery Problems

BOOK CHAPTER published 2024 in Lecture Notes in Electrical Engineering

Authors: Connor Little | Salimur Choudhury | Kai Salomaa

Modeling railway control systems using graph grammars: A case study

BOOK CHAPTER published 1997 in Coordination Languages and Models

Authors: A. A. Holzbacher | M. Périn | M. Südholt

Graph Surfing by Reaction Systems

BOOK CHAPTER published 2018 in Graph Transformation

Authors: Hans-Jörg Kreowski | Grzegorz Rozenberg

A grammatical approach to the LBA problem

BOOK CHAPTER published 1997 in New Trends in Formal Languages

Authors: Henning Bordihn

The structure of the basic morphisms

BOOK CHAPTER published 1997 in New Trends in Formal Languages

Authors: Virgil Emil Căzănescu